[OpenBIOS] [PATCH 0/4] SPARC32 memory fixups