The text eb2851e2daaf, as Debian 8 (Jessie) shipped it.
Switch to alternative chip
irq_setup_alt_chip(9) on Linux now
