x86 kernel messages go through irq_handler()