# CONFIG_IPMI_PANIC_EVENT is not set