Re: [PATCH v12 11/23] KVM: selftests: Set up TDX boot parameters region