In trusty, the CONFIG_IPMI_HANDLER option is set to Y:
config.common.ubuntu:CONFIG_ACPI_IPMI=m
config.common.ubuntu:CONFIG_IPMI_DEVICE_INTERFACE=m
config.common.ubuntu:CONFIG_IPMI_HANDLER=y
config.common.ubuntu:# CONFIG_IPMI_PANIC_EVENT is not set
config.common.ubuntu:CONFIG_IPMI_POWEROFF=m
config.common.ubuntu:CONFIG_IPMI_SI=m
config.common.ubuntu:CONFIG_IPMI_WATCHDOG=m
I can build a Trusty kernel with CONFIG_IPMI_HANDLER set back to m and see if that changes things.
In trusty, the CONFIG_IPMI_HANDLER option is set to Y:
config. common. ubuntu: CONFIG_ ACPI_IPMI= m common. ubuntu: CONFIG_ IPMI_DEVICE_ INTERFACE= m common. ubuntu: CONFIG_ IPMI_HANDLER= y common. ubuntu: # CONFIG_ IPMI_PANIC_ EVENT is not set common. ubuntu: CONFIG_ IPMI_POWEROFF= m common. ubuntu: CONFIG_ IPMI_SI= m common. ubuntu: CONFIG_ IPMI_WATCHDOG= m
config.
config.
config.
config.
config.
config.
I can build a Trusty kernel with CONFIG_IPMI_HANDLER set back to m and see if that changes things.