bce(4) with IPMI [puzzling and puzzling]

[David Christensen]

> > That's a typo then, 5709 and 5716 share the same ASIC ID.
> >
> 
> Thanks for confirmation.
> Could you review the attached patch?

Looks good.  ASIC ID matches my Dell R210 system:

bce0: <Broadcom NetXtreme II BCM5716 1000Base-T (C0)> mem 0xda000000-0xdbffffff irq 16 at device 0.0 on pci2
miibus0: <MII bus> on bce0
bce0: Ethernet address: b8:ac:6f:87:95:f1
bce0: ASIC (0x57092008); Rev (C0); Bus (PCIe x4, 2.5Gbps); B/C (5.2.2); Bufs (RX:2;TX:2;PG:8); Flags (SPLT|MSI|MFW); MFW (NCSI 2.0.8)

Dave