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