The text 5588ac57ab69, as Debian 8 (Jessie) shipped it.
Simple and software-decoded IRQs.
handle_simple_irq(9) on Linux now
