Fix up the ARM architected timer driver in order to channel interrupts through the interrupt pipeline. FIXME: split.