Therefore, the guide should mention configuring CONFIG_IPMI_INTEL_BMC in the kernel and that the module is ipmi_intel_bmc. The user would then use modprobe to load the module.