[coreboot] patch: include/arch/x86/cpu.h