The text 3a205b2bab2a, as Debian 7 (Wheezy) shipped it.
set the irq chip for an irq
irq_set_chip(9) on Linux now
