The text 72ca4cdccd16, as Debian 8 (Jessie) shipped it.
Texas Instruments ThunderLAN Ethernet device driver
if_tl(4freebsd) on Linux now