Fix comment in hwtimer_spin()