Re: [PATCH v12 05/23] KVM: selftests: Update kvm_init_vm_address_properties() for TDX