The text 219e925377f8, as Debian 8 (Jessie) shipped it.
Mask chip via setting bit in mask register
irq_gc_mask_set_bit(9) on Linux now
