kern/171524: [ipmi] ipmi driver crashes kernel by reboot or shutdown

[linimon at FreeBSD.org]

Old Synopsis: ipmi driver crashes kernel by reboot or shutdown
New Synopsis: [ipmi] ipmi driver crashes kernel by reboot or shutdown

Responsible-Changed-From-To: freebsd-bugs->freebsd-net
Responsible-Changed-By: linimon
Responsible-Changed-When: Mon Sep 10 16:32:46 UTC 2012
Responsible-Changed-Why: 
Over to maintainer(s).

http://www.freebsd.org/cgi/query-pr.cgi?pr=171524