setup_irq(9) on Linux

The text 7965732f52f2, as Debian 7 (Wheezy) shipped it.

setup an interrupt

setup_irq(9) on Linux now