Re: [coreboot] #25: Clean up x86 emulator in the tree?