[coreboot] [commit] r6612 - trunk/src/arch/x86/include/arch