[coreboot] r602 - coreboot-v3/include/arch/x86