@Jiri, I got the event "clocksource: timekeeping watchdog on CPU0: Marking clocksource 'tsc' as unstable because the skew is too large" (at least). It's on openqaworker24, I'll give you access on Monday.