[Linaro-uefi] [RFC 00/20] Marvell Armada7040 SoC support