arm/broadcom/bcm2835/bcm2835_systimer.c standard