[OpenBIOS] [PATCH 0/2] Miscellaneous minor fixes