The text 255ff5ef94ed, as Debian 4.0 (Etch) shipped it.
original all in one highlevel IRQ handler
__do_IRQ(9) on Linux now
