Warn if neither rdtsc nor rdtscp is available