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