Re: [U-Boot] [PATCH 06/17] Misc i386 PCI fixups