hdkif.c - lwIP Ethernet interface for HDK devices.
