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.