Because an IPMI implementation is platform-specific, I recommend you post this question to the misc@
mailing list. You will reach a much broader audience, likely to include users of your specific hardware.
Don't forget to include a complete
dmesg(8) in line (attachments will be deleted).