Re: [OpenBIOS] Sparc32 SMP fix