KVM: VMX: Dump TSC multiplier in dump_vmcs()