[coreboot] [commit] r5818 - trunk/src/include/cpu/x86