The text f007f4145912, as Debian 9 (Stretch) shipped it.
SMC 83c17x Fast Ethernet device driver
if_tx(4freebsd) on Linux now
