The text 8051fd9aae35, as Debian 7 (Wheezy) shipped it.
setup Ethernet network device
ether_setup(9) on Linux now
