RE: Debugging the linuxBIOS code