The text 9d986073d557, as Debian 7 (Wheezy) shipped it.
edge eoi type IRQ handler
handle_edge_eoi_irq(9) on Linux now
