I've been hitting this one as well. I usually add clocksource=acpi_pm to solve it. I'll try no-kvmclock and report success/failure.
I've been hitting this one as well. I usually add clocksource=acpi_pm to solve it. I'll try no-kvmclock and report success/failure.