Re: [U-Boot] [PATCH 35/57] x86: ivybridge: Use driver model PCI API in sata.c