irq_gc_mask_set_bit(9) on Linux

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

Mask chip via setting bit in mask register

irq_gc_mask_set_bit(9) on Linux now