Re: [OpenBIOS] [PATCH] SPARC32 : WIM register update delay