KVM: x86: rename argument to kvm_set_tsc_khz