[PATCH] kerneldoc for handle_bad_irq()