sched, x86: clean up hrtick implementation