use cpuid.h on GCC for cpuid, correct rdtsc on GCC