[coreboot] [v2] r4577 - in trunk/coreboot-v2: . src/arch/i386 util/x86emu