Você provavelmente precisará carregar os módulos do kernel da IPMI:
modprobe ipmi_devintf
modprobe ipmi_si
Você pode adicioná-los a /etc/modules
para que eles sejam carregados automaticamente (apenas liste os nomes dos módulos):
ipmi_devintf
ipmi_si