No longer necessary to obtain Ethernet header in netdev_send().