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