linux/debian/arch/powerpc/config.powerpc-smp