Comment 16 for bug 435185

I've installed the latest bnx2 driver from Broadcom, updated my initrd and now when it loads the bnx2 driver, ipmi still works as expected.

So it looks like you'll have to update to the latest (or a later version) of the bnx driver like Redhat do to support the 5716 properly...