• Check whether we've recorded this tick in ts_ticks on another cpu in sched_tick() to prevent multiple increments for one tick. This pushes the value out of range and breaks priority calculation.

Reviewed by: kib
Found by: pho/nokia
Sponsored by: Nokia
MFC after: 3 days