sched: Fix 32bit race