Add x32 getcpu and sched_getcpu