[x86] Fix TSC calibration issues