The text c8847496f010, as Debian 8 (Jessie) shipped it.
i8254 Programmable Interval Timer (AT Timer) driver
i8254(4freebsd) on Linux now
