Is there any hope of a fix for this? I need to bring up 35 servers in the next few months and I'd really like to go with Supermicro/IPMI but with supermicro comes broadcom. Is there anything that I can do to help (testing, beer, etc..) or is it an architectural issue with the bge driver?