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