Re: [U-Boot] [RESEND PATCH v4 11/12] x86: coreboot: Configure pci memory regions