sched: add exported arch_reinit_sched_domains() to header file.