ARM interrupts and Timer
Improved interrupt handler