Re: [PATCH 10/14] sched: update the buddy CPU