[PATCH] ia64 cpuset + build_sched_domains() mangles structures