the rdtsc timer has been decprecated along with its various macros.
instead, checking for the timer is now done in the timers.c file.

the C library's clock functions are used as a backup in case
the rdtsc timer is not available, e.g. on other architectures.