The text 029c0ab4f9fb, as Debian 7 (Wheezy) shipped it.
handle spurious and unhandled irqs
handle_bad_irq(9) on Linux now
