[OpenBIOS] Sparc64 memory allocation problem