[coreboot] [v2] r4597 - trunk/coreboot-v2/util/x86emu/include/x86emu