[PATCH 10/10] KVM: x86: Fix KVM clock precision in __get_kvmclock()