> But let's fix sched_getcpu.S first (it was the only place where I found > this but I would appreciate if somebody else double checks) before this > gets changed, Agreed.