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