[OpenBIOS] [PATCH 0/6] Further *BSD SPARC64 fixes