KVM: x86: fix TSC matching