Re: [PATCH v6 1/6] x86/tdx: Fix "in-kernel MMIO" check