FreeBSD 7.0(200703) + PE860 ipmitool

Dell PowerEdge860にFreeBSD6.2を入れると、OS起動後はBIOSで割り当てたIPMI用のIPアドレスに対するIPMI操作が効かなくなってしまう。

試しにFreeBSD7.0(200703)を入れてみると、OS起動後もIPMIが正常に動作した。
ということは、カーネルのIPMI周りが改善されているのかな?