kern/122252: [ipmi] [bge] IPMI problem with BCM5704 (does not work after driver loaded)

[vwe at FreeBSD.org]

Synopsis: [ipmi] [bge] IPMI problem with BCM5704 (does not work after driver loaded)

State-Changed-From-To: open->feedback
State-Changed-By: vwe
State-Changed-When: Tue Apr 8 22:07:26 UTC 2008
State-Changed-Why: 

dear submitter: please show us your verbose boot dmesg
if you experience a panic, please show us the dump
if the machine does not panic but does a mystical reboot, please 
run a WITNESS enabled kernel and watch out for WITNESS messages

please note this from bge(4):
     hw.bge.allow_asf
             Allow the ASF feature for cooperating with IPMI.  Can cause sys-
             tem lockup problems on a small number of systems.  Disabled by
             default.


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