[OpenBIOS] Re: [PATCH 0/7] Fix build issues