The text a96c40c21bc4, as Debian 7 (Wheezy) shipped it.
register offsets for struct irq_gci
struct_irq_chip_regs(9) on Linux now
