[PATCH] x86_64: Update TSC sync algorithm