/Silicon/Marvell/Armada7k8k/Drivers/PlatInitDxe/