Comment # 9 on bug 1055938 from Takashi Iwai

Could you give the kernel message with the recent kernel that doesn't show the
problem?  Looking at 4.4 kernel output, the clocksource isn't switched to
another source despite of unstable tsc detection.