Future: Ethernet

We should provide access to the ethernet interface for those boards (e.g. K64F) which have one. Then we can e.g. run a web server and/or run the MicroPython interpreter on a socket connection

Possible implementation approaches:

1. Use the mbed EthernetInterface library
2. Use existing ethernet support from within MicroPython including pulling in the lwip library.