@@ -54,7 +54,7 @@ CONFIG_ACPI_HED=y
CONFIG_ACPI_HOTPLUG_CPU=y
CONFIG_ACPI_HOTPLUG_MEMORY=y
# CONFIG_ACPI_INITRD_TABLE_OVERRIDE is not set
-CONFIG_ACPI_IPMI=m
+CONFIG_ACPI_IPMI=y
CONFIG_ACPI_NUMA=y
CONFIG_ACPI_PCI_SLOT=y
CONFIG_ACPI_PROCESSOR=y
@@ -2993,10 +2993,10 @@ CONFIG_IPDDP=m
CONFIG_IPDDP_ENCAP=y
# CONFIG_IPIC is not set
CONFIG_IPMI_DEVICE_INTERFACE=m
-CONFIG_IPMI_HANDLER=m
+CONFIG_IPMI_HANDLER=y
# CONFIG_IPMI_PANIC_EVENT is not set
CONFIG_IPMI_POWEROFF=m
-CONFIG_IPMI_SI=m
+CONFIG_IPMI_SI=y
CONFIG_IPMI_WATCHDOG=m
CONFIG_IPPP_FILTER=y
CONFIG_IPV6=y