Re: [PATCH v10 10/21] KVM: selftests: Set up TDX boot parameters region