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