[PATCH] POWERPC/PPC64: Fix CONFIG_SMP=n build for ppc64