ARM: bcm2835: add system timer