irq_setup_alt_chip(9) on Linux

The text e3c9e1386a5b, as Debian 9 (Stretch) shipped it. The page shows this text now.

Switch to alternative chip

irq_setup_alt_chip(9) on Linux now