With current https://github.com/Whonix/whonix-libvirt settings… What is the output of the following two commands?
cat /sys/devices/system/clocksource/clocksource0/available_clocksource
cat /sys/devices/system/clocksource/clocksource0/current_clocksource