sched/clock, x86: Use mul_u64_u32_shr() for native_sched_clock()