[Linaro-uefi] [PATCH v4 07/12] Platforms/Marvell: Enable two xHCI ports for Armada70x0 board