Re: [PATCH u-boot-marvell 00/10] PCI mvebu and aardvark changes