linux/arch/powerpc/kexec/