[PATCH] ppc64le: replace kernel cmdline maxcpu=1 with nr_cpus=1