ARM: bcm2835: fix get_timer() to return ms