/arch/powerpc/configs/40x/