[tip: x86/urgent] x86/tdx: Fix "in-kernel MMIO" check