Moved ARM timer to IRQ and System Timer to FIQ