genirq: Fix handle_bad_irq kerneldoc comment