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