Re: [U-Boot] [PATCH v4 04/11] x86: Convert to use driver model pci on quark/galileo