restore gettimeofday()-based time source

Because we don't have appropriate frequency and scale functions
for the tsc time source, it can break lttv by producing timestamps
whose seconds value is too high, to the point it breaks lttv. So
for now, use gettimeofday().