The text d0377cc57771, as Debian 7 (Wheezy) shipped it.
DEC/Intel 21143 and clone 10/100 Ethernet driver
if_dc(4freebsd) on Linux now