[PATCH] s390: smp initialization speed