Comment 378 for bug 124406

I'm not sure whether it gives any information, but here is some output from journalctl, where the bug happens (no "clocksource=jiffies" boot option is used):

$ journalctl -k | grep clocksource

clocksource: refined-jiffies: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 7645519600211568 ns
clocksource: jiffies: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 7645041785100000 ns
clocksource: Switched to clocksource refined-jiffies
clocksource: tsc: mask: 0xffffffffffffffff max_cycles: 0x2879c5f06f2, max_idle_ns: 440795220049 ns
clocksource: Switched to clocksource tsc
clocksource: timekeeping watchdog on CPU0: Marking clocksource 'tsc' as unstable because the skew is too large:
clocksource: 'refined-jiffies' wd_now: fffedcd0 wd_last: fffedc58 mask: ffffffff
clocksource: 'tsc' cs_now: 13ccf176fe cs_last: 13299ba17d mask: ffffffffffffffff
kernel: tsc: Marking TSC unstable due to clocksource watchdog
kernel: clocksource: Switched to clocksource refined-jiffies