Re: [OpenBIOS] Sparc64 memory allocation problem