It maybe worth booting with clocksource set to one of the alternative clocksources available on your machine. One can see which clocksources are available using:
cat /sys/devices/system/clocksource/clocksource0/available_clocksource
and then boot with clocksource=xxx (where xxx is one of the clocksoures).
I cannot test this as I don't have the ability to run kvm on my hardware setup here. Can somebody try this and checks if it helps or not.
It maybe worth booting with clocksource set to one of the alternative clocksources available on your machine. One can see which clocksources are available using:
cat /sys/devices/ system/ clocksource/ clocksource0/ available_ clocksource
and then boot with clocksource=xxx (where xxx is one of the clocksoures).
I cannot test this as I don't have the ability to run kvm on my hardware setup here. Can somebody try this and checks if it helps or not.