Re: [OpenBIOS] [PATCH 0/6] OFMEM/SPARC32 memory fixes