[PATCH] x86_64: On Intel CPUs don't do an additional CPU sync before RDTSC