Update hwtimer_cpu.h