[PATCH] synchronize_tsc() fixes