The reason this issue does not occur on x86 architecture is that x86 does not use the `select_idle_cpu` function for core selection. Instead, it uses the `select_idle_smt` function. However, there is still an issue on x86 where isolated cores are not properly excluded. My other commit, `sched/fair: Correct CPU selection from isolated domain`, addresses the issue of isolated cores on x86. > Your subject explicitly mentions arm64, however there is absolutely > nothing arm64 specific to this patch, as such the subject is just plain > wrong.