d24cb0d9113f ("sched/topology: Record number of cores in sched group")