[Linaro-uefi] [RFC 10/10] Platforms/Marvell: Enable Pp2Dxe driver on Armada7040