[TF-A] a80x0_mcbin doesn't build with recommended mv-ddr-marvell