linux interrupts are working. timer irq called.