Re: [OpenBIOS] help with debugging