Re: [PATCH v10 09/21] KVM: selftests: Set up TDX boot code region