kernel/include/config/SSIF_IPMI_BMC