core/hwtimer: fix HWTIMER_SPIN_BARRIER doc