irq_gc_mask_clr_bit(9) on Linux

The text 1f3581d0e8c0, as Debian 9 (Stretch) shipped it. The page shows this text now.

Mask chip via clearing bit in mask register

irq_gc_mask_clr_bit(9) on Linux now