[PATCH] sched: build_sched_domains() fix