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