[PATCH] x86: rewrite SMP TSC sync code