[PATCH v2 08/15] KVM: x86: Fix KVM clock precision in __get_kvmclock()