[coreboot] r870 - in coreboot-v3: arch/x86 include/arch/x86