Switch linux high resolution timer to use monotonic