(__sched_cpucount): Likewise. Make second argument pointer to const