[Users] TSC clocksource gets lost after live migration