IPMI

modulename: acpi_ipmi.ko

configname: CONFIG_ACPI_IPMI

Linux Kernel Configuration
└─>Power management and ACPI options
└─>ACPI (Advanced Configuration and Power Interface) Support
└─>IPMI
In linux kernel since version 4.2 (release Date: 2015-08-30)  
This driver enables the ACPI to access the BMC controller. And it
uses the IPMI request/response message to communicate with BMC
controller, which can be found on on the server.

To compile this driver as a module, choose M here:
the module will be called as acpi_ipmi.

source code: