Dell Latitude E6500 - Wireless Smart Card Reader (Driver help)

The Dell website seems to indicate that the device is from Broadcom:

http://www.dell.com/support/article/uk/en/ukbsdt1/SlN135763/EN?c=uk&l=en&s=bsd&cs=ukbsdt1#Issue0_1_1