setup_irq(9) on Linux

The text 058b79b74226, as Debian 8 (Jessie) shipped it.

setup an interrupt

setup_irq(9) on Linux now