bge(4) failure, Dell 12G hardware, BCM5720C

[Sean Bruno]

> As you see ukphy(4) was attached to bge2 so it may cause various
> issues.
> Is bge2 ASF/IPMI enabled interface?  It seems ASF handling in
> bge(4) causes more trouble on recent controllers.  Unfortunately
> disabling ASF may also trigger other problems like NMI.
> I believe bge(4) should always honor ASF/IMPI firmware instead of
> relying on hw.bge.allow_asf tunable and have to strictly follow
> firmware handshake sequence.  Just ignoring ASF/IMPI firmware seems
> to confuse firmware.   
> Unfortunately all these information is undocumented and fixing it
> requires real hardware access.

ASF/IPMI -- I've tried disabling things, but it just fails miserably.  I
can at least get the host to a login via serial console and poke at
things.

Do you want me to rig up a test for you on this box?  I suspect I can do
something temporarily in the freebsd cluster with this box.

Sean