"plat/marvell/armada/a3k/a3700/plat_bl31_setup.c" did not exist on "a28471722afb3ae784d7bce2118c2ea703f8444c"