[coreboot] r1134 - coreboot-v3/arch/x86