Try the 3c59x module. While it's not the right module for the chipset in your dock, it might work. It does in the Dell C/Port replicators.

As a side note, the dell replicators are quite possibly the flakiest pieces of hardware ever created.