Sets the resolution for the high-resolution timer driver.