# CONFIG_INTEL_RAPL_TPMI is not set
