# CONFIG_IPMI_PROC_INTERFACE is not set