Shore up support for sched_* in 32-bit builds