kernel/baseconfig/CONFIG_IPMI_DEVICE_INTERFACE