fix printfs in hwtimer_cpu.c