Bugzilla – Attachment 872923 Details for Bug 1220119
Some tests on o3 triggers dmesg "clocksource: timekeeping watchdog on CPU0: Marking clocksource 'tsc' as unstable because the skew is too large:"