Merge "sched: Fix SCHED_HRTICK bug leading to late preemption of tasks"