[PATCH 1/1] ntdll: Use sched_getcpu instead of the getcpu syscall.