CONFIG_INTEL_TPMI_POWER_DOMAINS (not configurable)
configname: CONFIG_INTEL_TPMI_POWER_DOMAINS
Linux Kernel Configuration
└─>Device Drivers
└─>X86 Platform Specific Device Drivers
└─>INTEL_TPMI_POWER_DOMAINS