[coreboot] U-Boot-x86 / coreboot Integration