The text 0f039a4e2926, as Debian 8 (Jessie) shipped it.
set the irq chip for an irq
irq_set_chip(9) on Linux now
