I am not sure this was already tried with this kernel: since tsc is known to become/be unstable anyway. What happens when booting with "clocksource=hpet"?
I am not sure this was already tried with this kernel: since tsc is known to become/be unstable anyway. What happens when booting with "clocksource=hpet"?