Re: [OpenBIOS] SPARC32 : SMP