change GCC implementation of rdtsc