fix no_irq_handler