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