Como eu realmente uso o driver do relógio kvm-clock?

Question

De acordo com fontes copiosas, o driver do relógio KVM é carregado como mostrado aqui:

 cat /sys/devices/system/clocksource/clocksource0/current_clocksource

Todas essas fontes parecem pensar que isso necessariamente significa que a VM guest que está executando o Linux está derivando seus valores de clock desse clock. Minha experiência é que não é. Vários testes independentes mostram que, em comparação com o relógio do host e uma fonte de tempo de rede, o relógio do sistema operacional convidado está desativado em até 3 segundos por dia. O programa hwclock também é usado para confirmar isso. Existe algum passo adicional necessário para obter o current_clocksource? Ou é o problema em outro lugar? Ou o driver tsc deve ser usado?