The text 9d4e5c99bbc0, as Debian 9 (Stretch) shipped it. The page shows this text now.
Remove a chip
irq_remove_generic_chip(9) on Linux now