The text 35fa7e9f9717, as Debian 8 (Jessie) shipped it.
kernel interrupt threads
ithread_priority(9freebsd) on Linux now
