I'm not sure if this is just me, or it's already been fixed, but in
include/linux/cpumask.h, if nr_cpu_ids is defined to "1", doesn't that
break init/main.c:368?