[PATCH] s390: additional_cpus parameter