implement timer_clear
add stubs for wtimer
let's use 32bit timers for now

no prescaling, 32 bit at 80MHz that should give us ~53s
timer almost works