The text 16b71d910345, as Debian 7 (Wheezy) shipped it.
disable an irq without waiting
disable_irq_nosync(9) on Linux now
