irq_gc_ack_set_bit(9) on Linux

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

Ack pending interrupt via setting bit

irq_gc_ack_set_bit(9) on Linux now