The text d7ba56b1ce51, as Debian 4.0 (Etch) shipped it.
set the irq chip for an irq
set_irq_chip(9) on Linux now
