hw/arm/bcm2836: Wire up CPU timer interrupts correctly