Also, you can confirm the IPMI config options on a running system by executing:
cat /boot/config-$(uname -r) | grep IPMI
Also, you can confirm the IPMI config options on a running system by executing:
cat /boot/config- $(uname -r) | grep IPMI