Update csched_pcpu.c