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