The text b1093799e2d0, as Debian 8 (Jessie) shipped it.
Mark interrupt disabled
irq_disable(9) on Linux now
