kernel/irq/manage.c: replace a printk + WARN_ON() to a WARN()