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