Change preferred default clocksource to gettimeofday()