[OpenBIOS] sparc64 issues