The text afb0fc76c0ec, as Debian 8 (Jessie) shipped it.
High Precision Event Timer driver
hpet(4freebsd) on Linux now
