Re: [LinuxBIOS] #25: Remove one x86 emulator from the tree?