kernel: tick-sched: fix build