# CONFIG_INTEL_TPMI is not set
