The text ee7134354fd0, as Debian 8 (Jessie) shipped it.
Setup a range of interrupts with a generic chip
irq_setup_generic_chip(9) on Linux now
