Merge "sched: Fix for 32bit '__udivdi3' build error"