The text afb0fc76c0ec, as FreeBSD 10.1-RELEASE shipped it.
High Precision Event Timer driver
hpet(4) on FreeBSD now
