diff --git a/debian/changelog b/debian/changelog
index bad18e051..3c59c8dc0 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -235,6 +235,7 @@ linux (4.0.2-1~exp1) UNRELEASED; urgency=medium
   * [arm64,armhf,powerpcspe,x86] gpio: Explicitly enable GPIOLIB, as some
     drivers now depend on rather than selecting it (fixes FTBFS on i386)
   * HID: Enable HID_USB_WACOM, replacing HID_WACOM
+  * [x86] thermal: Enable INT340X_THERMAL, replacing ACPI_INT3403_THERMAL
 
   [ Ian Campbell ]
   * [armhf] Enable support for Freescale SNVS RTC. (Closes: #782364)
diff --git a/debian/config/kernelarch-x86/config b/debian/config/kernelarch-x86/config
index efdd70ec0..b360fd234 100644
--- a/debian/config/kernelarch-x86/config
+++ b/debian/config/kernelarch-x86/config
@@ -1532,7 +1532,7 @@ CONFIG_THERMAL=m
 # CONFIG_CPU_THERMAL is not set
 CONFIG_INTEL_POWERCLAMP=m
 CONFIG_X86_PKG_TEMP_THERMAL=m
-# CONFIG_INT340X_THERMAL is not set
+CONFIG_INT340X_THERMAL=m
 
 ##
 ## file: drivers/thunderbolt/Kconfig