[PATCH] ppc64: fix for kexec boot issue