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