"arch/powerpc/platforms/40x/Kconfig" did not exist on "bef1f40261c8bc5ad2ca70a5a1760b0eb79b6812"