The text c663d805024e, as Debian 8 (Jessie) shipped it.
Mask chip via clearing bit in mask register
irq_gc_mask_clr_bit(9) on Linux now
