[tip: x86/timers] x86/tsc_msr: Make MSR derived TSC frequency more accurate