I am not sure, but in my experience the driver is not present and not loadable. Regardless, the max cpu frequency is not equal to tsc frequency on newer Intel

I am not sure, but in my experience the driver is not present and not loadable. Regardless, the max cpu frequency is not equal to tsc frequency on newer Intel CPUs, so the number is meaningless.