Re: [U-Boot] [PATCH] x86: Set up the PCI busses when initializing the coreboot "board"