* fixed a copy&paste error in hwtimer_arch.h