timers: fix 32 bit compile of timer