CONFIG_RT_GROUP_SCHED: fix isolated CPUs