High Resolution timers support in Fedora?