There are also Ethernet boot-loaders for the FRDM-K64F in the uTasker project: http://www.utasker.com/kinetis/FRDM-K64F.html With 30.9k Flash you can also have one that does Ethernet Web Server, USB-MSD, KBOOT-USB-HID and UART SREC loading all at the same time....