"plat/marvell/armada/a8k/a80x0/platform.mk" did not exist on "42a293379e808f2300519db937c6dc9a7685a4b2"