[OpenBIOS] [PATCH 2/2] SPARC32 : Fix SMP boot