IPMI Poweroff

modulename: ipmi_poweroff.ko

configname: CONFIG_IPMI_POWEROFF

Linux Kernel Configuration
└─>Device Drivers
└─>Character devices
└─>IPMI top-level message handler
└─>IPMI Poweroff
In linux kernel since version 2.6.20 (release Date: 2007-02-04)  
This enables a function to power off the system with IPMI if
the IPMI management controller is capable of this.

source code:
drivers/char/ipmi/ipmi_poweroff.c