[OpenBIOS] Re: gnubios