Re: [OpenBIOS] Sparc 64 and Illumos Kernel