Re: [OpenBIOS] bug report