The text 656bf415e27b, as Debian 10 (Buster) shipped it.
kernel interrupt threads
ithread_priority(9freebsd) on Linux now
