The text 9f40c2a3f462, as Debian 7 (Wheezy) shipped it.
kernel interrupt threads
ithread(9freebsd) on Linux now
