Re: [Linaro-uefi] [PATCH v4 4/6] Platforms/Marvell: Enable two xHCI ports for Armada70x0 board