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