Dell T20 + CentOS 6.5 + IPMI: /dev/ipmi0 does not exist

Adott egy Dell PowerEdge T20, rajta frissen telepített CentOS 6.5 64 bit. Szeretném beüzemelni az IPMI-t, kernel modulok betöltődnek, de nem jön létre a device.

A netes leírások szerint a vas kellene támogassa az IPMI-t, de pl. a dmidecode-ban nem jelenik meg:
# dmidecode | grep -i ipmi
#

Dell srvadmin-base fent van, próbáltam OpenIPMI-vel, spec kernel paraméterekkel, de az eredmény ugyanaz. Nincs tapasztalatom se a Dell termékekkel, se az IPMI-vel, mit nézek be?

Hozzászólások

modprobe ipmi_si, meg modprobe ipmi_devintf ez nekem be szokott válni.

Majd ipmitool felrak és használ.

Fedora 20, Thinkpad x61s

Modulok betöltve, illetve kernelbe forgatva:
# service ipmi status
ipmi_msghandler module in kernel.
ipmi_si module in kernel.
ipmi_devintf module loaded.
/dev/ipmi0 does not exist.

ipmitool is a device hiányára panaszkodik:
# ipmitool sensor
Could not open device at /dev/ipmi0 or /dev/ipmi/0 or /dev/ipmidev/0: No such file or directory
Get Device ID command failed
Unable to open SDR for reading