Ah, I think I misunderstood you. I have added this id to my config. <string>pci14e4,16b5</string> I think that's right. 
 
	  Name: ethernet
 
	  Type: Ethernet Controller
 
	  Bus: PCI
 
	  Vendor ID: 0x14e4
 
	  Device ID: 0x16b5
 
	  Subsystem Vendor ID: 0x1025
 
	  Subsystem ID: 0x0743
 
	  Revision ID: 0x0010
 
	  Link Width: x1
 
	  BSD name: en1
 
	  Kext name: AppleBCM5701Ethernet.kext
 
	  Location: /System/Library/Extensions/IONetworkingFamily.kext/Contents/PlugIns/AppleBCM5701Ethernet.kext
 
	  mDNS offload capable: b8:88:e3:ac:da:a7
 
	  Version: 3.6.9b2