Re: [OpenBIOS] Suggestion for building OpenBIOS