[OpenBIOS] SPARC32 : Fix SMP Boot