SPI driver to allow the Texas Instruments CC3000 WiFi module to work with ChibiOS/RT.