[PATCH] s390: fix non smp build of kexec