Use generic interrupt controller to manage timer/counter interrupt.