kernel: irq 10: nobody cared!