[PATCH] x86_64: Fix race in TSC synchronization