[U-Boot] [PATCH 0/12] Add additional x86 support for coreboot