The text d0bd30dc040f, as Debian 7 (Wheezy) shipped it.
Simple and software-decoded IRQs.
handle_simple_irq(9) on Linux now
