I found this on Xen list, maybe it's a firmware bug?

-----
broadcom NIC's are known to have bad firmware in many servers.. ibm and dell
at least, maybe hp too..

upgrading to new (bugfixed) firmware solved these problems.

Then again I don't know if this is your problem.. might very well be..
-----

Martti