cxgbe(4) - NIC driver for Chelsio T4 (Terminator 4) based 10Gb/1Gb adapters.
Add a small tool called utxrm(8), which allows you to remove an entry from the utmpx database by hand.