The text c2c6dfaccd28, as Debian 8 (Jessie) shipped it.
Ack pending interrupt via setting bit
irq_gc_ack_set_bit(9) on Linux now
