The "bge" driver in Solaris supposedly supports the 5751; but there may be a missing alias.
What are the device vendor/device/subvendor/subdevice ids? You will need to remove the bcme driver and add the bge package back in (the adding of the bge driver will have affected the bge package as there is some overlap) Casper