fix undefined behavior in sched.h cpu_set_t usage