tick-sched: Fix compilation error after 3.4.95 update