[PATCH] Fix sync_tsc hang