Re: [OpenBIOS] [PATCH] SPARC64: revert of r1287 100Hz timer interval fixup