diff --git a/debian/changelog b/debian/changelog
index 9df794111..f4f82f43b 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -510,6 +510,8 @@ linux (4.15.17-1) UNRELEASED; urgency=medium
   * w1: Enable all "slave" device drivers (Closes: #895340)
   * [arm64] net/phy: Enable MDIO_BUS_MUX_MMIOREG as module (Closes: #894336)
   * [x86] net: Enable THUNDERBOLT_NET as module (Closes: #894310)
+  * [x86] platform: Enable DELL_SMBIOS_SMM, DELL_SMBIOS_WMI as modules
+    (closes: #893976)
 
   [ Vagrant Cascadian ]
   * [armhf] Add patch to fix loading of imx6q-cpufreq module.
diff --git a/debian/config/kernelarch-x86/config b/debian/config/kernelarch-x86/config
index 8423e2a94..6ea0134c7 100644
--- a/debian/config/kernelarch-x86/config
+++ b/debian/config/kernelarch-x86/config
@@ -1340,6 +1340,8 @@ CONFIG_ACER_WMI=m
 CONFIG_ACERHDF=m
 CONFIG_ALIENWARE_WMI=m
 CONFIG_ASUS_LAPTOP=m
+CONFIG_DELL_SMBIOS_WMI=m
+CONFIG_DELL_SMBIOS_SMM=m
 CONFIG_DELL_LAPTOP=m
 CONFIG_DELL_WMI=m
 CONFIG_DELL_WMI_AIO=m