CONFIG_INTEL_SPEED_SELECT_TPMI (not configurable)
modulename: isst_tpmi_core.ko
and/orisst_tpmi.ko
configname: CONFIG_INTEL_SPEED_SELECT_TPMI
Linux Kernel Configuration
└─>Device Drivers
└─>X86 Platform Specific Device Drivers
└─>PCI support
└─>Intel Speed Select Technology interface support
└─>INTEL_SPEED_SELECT_TPMI