The text f99caa227f0c, as Debian 8 (Jessie) shipped it.
kernel time counters subsystem
timecounters(4freebsd) on Linux now
