x86, tsc: Fix a preemption leak in restore_sched_clock_state()