The text ffa1de96a63c, as Debian 8 (Jessie) shipped it.
disable an irq without waiting
disable_irq_nosync(9) on Linux now
