Re: [U-Boot] [RESEND PATCH v4 0/12] x86: Better support of coreboot