From f5c277c282fd3ab05d06898ad2ddbd595c8d36d0 Mon Sep 17 00:00:00 2001
From: Ben Hutchings <ben@decadent.org.uk>
Date: Tue, 2 May 2017 03:55:10 +0100
Subject: [PATCH] [amd64] EDAC: Enable EDAC_SKX as module

---
 debian/changelog                    | 1 +
 debian/config/kernelarch-x86/config | 1 +
 2 files changed, 2 insertions(+)

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