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