In http://wiki.laptop.org/go/USB_ethernet_adaptors, TRENDnet TU2-ET100 is listed as compatible with OLPC. The driver CD that came with the adaptor only contains Wnidows drivers. Do I need to download a Linux driver from somewhere? Thanks, Bill Teng