Merge "<sched.h>: Add sched_getcpu() and cpu_set_t"