kernel - Fix sysclock_t comparison in usched code