OLPC XO-1 uses the Marvell 88W8388 USB wireless adapter. I want to contribute to the development of the libertas/libertas-tf driver for this wireless adapter. Could I buy a few 88W8388 USB development dongles from OLPC to get started? Thanks.