x86: Fix sched_clock_cpu for systems with unsynchronized TSC