Problemas drivers RFDUINO

Buenos días,

Estoy intentado configurar unos modulos rfduino mediante la guia siguiente (apartado MAC) : http://www.rfduino.com/wp-content/uploads/2015/08/RFduino-Quick-Start-Guide-08.21.15-11.40AM.pdf

Todo me sale bien hasta el momento de configurar los drivers VCP, que tras usar el instalador proporcionado no me aparece en los puertos arduino. Es necesario instalar los drivers D2XX también?

Muchas gracias!