The text c8847496f010, as FreeBSD 10.1-RELEASE shipped it.
i8254 Programmable Interval Timer (AT Timer) driver
attimer(4) on FreeBSD now
