[PATCH] Kconfig fix (ppc32 SMP dependencies)