[OpenBIOS] Sparc32 SMP fix