How can I change the timer resolution in Linux?