Re: LinuxBIOS debugging with an emulator