The text 5e39c8b5c432, as Debian 7 (Wheezy) shipped it.
set irq chip data for an irq
irq_set_chip_data(9) on Linux now
