Re: [OpenBIOS] SPARC32 : Fix SMP Boot