CONFIG_BCM2835_TIMER=y
