sched: make !hrtick faster