DESC
Replace rdtsc with gettimeofday.
EDESC
The real-time clock now uses gettimeofday rather than the tsc.
This improves portability and provides better behavior in the
presence of slowed or suspended CPUs.