diff --git a/debian/changelog b/debian/changelog
index 2cbbd55df..b9ed688fb 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -378,6 +378,7 @@ linux (4.9.25-1) UNRELEASED; urgency=medium
   * leds: Enable LEDS_TRIGGER_DISK, LEDS_TRIGGER_MTD, LEDS_TRIGGER_PANIC
   * IB: Enable INFINIBAND_HFI1, INFINIBAND_I40IW, INFINIBAND_QEDR, RDMA_RXE
     as modules
+  * [amd64] EDAC: Enable EDAC_SKX as module
 
   [ Salvatore Bonaccorso ]
   * ping: implement proper locking (CVE-2017-2671)
diff --git a/debian/config/kernelarch-x86/config b/debian/config/kernelarch-x86/config
index c4466c2f6..310fe599e 100644
--- a/debian/config/kernelarch-x86/config
+++ b/debian/config/kernelarch-x86/config
@@ -451,6 +451,7 @@ CONFIG_EDAC_R82600=m
 CONFIG_EDAC_I5000=m
 CONFIG_EDAC_I5100=m
 CONFIG_EDAC_I7300=m
+CONFIG_EDAC_SKX=m
 CONFIG_EDAC_AMD8131=m
 CONFIG_EDAC_AMD8111=m