kernelconfig_penguin
default or selected kernelversion does not have config value CONFIG_ACPI_INT3403_THERMAL.
Result is shown for kernelversion 3.17.8
depends
CONFIG_ACPI
CONFIG_THERMAL
CONFIG_X86

ACPI INT3403 thermal driver

modulename: int3403_thermal.ko
configname: CONFIG_ACPI_INT3403_THERMAL

Linux Kernel Configuration
└─> Device Drivers
└─> Generic Thermal sysfs driver
└─> ACPI INT3403 thermal driver

Newer laptops and tablets that use ACPI may have thermal sensors
outside the core CPU/SOC for thermal safety reasons. These
temperature sensors are also exposed for the OS to use via the so
called INT3403 ACPI object. This driver will, on devices that have
such sensors, expose the temperature information from these sensors
to userspace via the normal thermal framework. This means that a wide
range of applications and GUI widgets can show this information to
the user or use this information for making decisions. For example,
the Intel Thermal Daemon can use this information to allow the user
to select his laptop to run without turning on the fans.


source code:


drivers/thermal/int3403_thermal.c