The text 4b345fd4cb36, as Debian 9 (Stretch) shipped it.
bind an interrupt resource to a specific CPU
BUS_BIND_INTR(9freebsd) on Linux now
