[PATCH] x86_64: fix sync before RDTSC on Intel cpus