Fiz o seguinte:
lsmod | grep ipmi
... e isso mostrou que o módulo ipmi_devintf NÃO foi carregado. Fiz modprobe e carreguei isso e funcionou.
No entanto, ainda não consigo fazer o ping da interface ipmi, embora tenha verificado a configuração correta da rede < - este é um problema separado que eu precisarei examinar.