Ethernet interface definitions for Hurd.