[POWERPC] PS3: Fix CONFIG_SMP=n, CONFIG_KEXEC=y build