The text 9fa1106aadeb, as Debian 8 (Jessie) shipped it.
Allocate a generic chip and initialize it
irq_alloc_generic_chip(9) on Linux now