irqchip/bcm2836: Fix initialization of the LOCAL_IRQ_CNT timers