sched: clean up arch_reinit_sched_domains()