[PATCH] Build in IPMI on x86

[Matthew Garrett]

…and here's the patch.

-- 
Matthew Garrett | mjg59 at srcf.ucam.org
-------------- next part --------------
diff --git a/config-x86-generic b/config-x86-generic
index c44b81f..fbb3bbb 100644
--- a/config-x86-generic
+++ b/config-x86-generic
@@ -66,6 +66,9 @@ CONFIG_X86_MPPARSE=y
 CONFIG_DEBUG_RODATA=y
 CONFIG_DEBUG_STACKOVERFLOW=y
 
+CONFIG_IPMI_HANDLER=y
+CONFIG_IPMI_SI=y
+
 CONFIG_ACPI=y
 CONFIG_ACPI_AC=y
 # CONFIG_ACPI_ASUS is not set
@@ -94,7 +97,7 @@ CONFIG_ACPI_APEI_PCIEAER=y
 CONFIG_ACPI_APEI_GHES=y
 CONFIG_ACPI_APEI_MEMORY_FAILURE=y
 # CONFIG_ACPI_APEI_EINJ is not set
-CONFIG_ACPI_IPMI=m
+CONFIG_ACPI_IPMI=y
 CONFIG_ACPI_CUSTOM_METHOD=m
 CONFIG_ACPI_BGRT=y
 # CONFIG_ACPI_EXTLOG is not set