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