[Richard Smith <rsmith@bitworks.com>] Re: Debugging the linuxBIOS code