The text b914191f78c2, as Debian 7 (Wheezy) shipped it.
cpuctl pseudo device
cpuctl(4freebsd) on Linux now
