RE: LinuxBIOS debugging with an emulator