* gnu/packages/linux-libre-4.9-x86_64.conf
* gnu/packages/linux-libre-4.9-i686.conf
---
 gnu/packages/linux-libre-4.9-i686.conf   | 1 +
 gnu/packages/linux-libre-4.9-x86_64.conf | 1 +
 2 files changed, 2 insertions(+)

diff --git a/gnu/packages/linux-libre-4.9-i686.conf 
b/gnu/packages/linux-libre-4.9-i686.conf
index 4f3a9f927..839eb820d 100644
--- a/gnu/packages/linux-libre-4.9-i686.conf
+++ b/gnu/packages/linux-libre-4.9-i686.conf
@@ -778,6 +778,7 @@ CONFIG_PCI_XEN=y
 CONFIG_PCI_DOMAINS=y
 # CONFIG_PCI_CNB20LE_QUIRK is not set
 CONFIG_PCIEPORTBUS=y
+CONFIG_HOTPLUG_PCI=y
 CONFIG_HOTPLUG_PCI_PCIE=y
 CONFIG_PCIEAER=y
 # CONFIG_PCIE_ECRC is not set
diff --git a/gnu/packages/linux-libre-4.9-x86_64.conf 
b/gnu/packages/linux-libre-4.9-x86_64.conf
index ca0fcded6..e3284a995 100644
--- a/gnu/packages/linux-libre-4.9-x86_64.conf
+++ b/gnu/packages/linux-libre-4.9-x86_64.conf
@@ -775,6 +775,7 @@ CONFIG_PCI_XEN=y
 CONFIG_PCI_DOMAINS=y
 # CONFIG_PCI_CNB20LE_QUIRK is not set
 CONFIG_PCIEPORTBUS=y
+CONFIG_HOTPLUG_PCI=y
 CONFIG_HOTPLUG_PCI_PCIE=y
 CONFIG_PCIEAER=y
 # CONFIG_PCIE_ECRC is not set
-- 
2.11.0

Reply via email to