[OpenBIOS] [PATCH 1/5] SPARC64: fixup 100Hz timer interval