The text 13c500e75c0c, as FreeBSD 10.0-RELEASE shipped it.
Broadcom NetXtreme II Ethernet 10Gb PCIe adapter driver
bxe(4) on FreeBSD now
