Minor fixes for Teensy

Several small fixes for issues running CC3000 with Teensy 2.0 & 3.0.

I have personally verified these with buildtest on both Teensy boards and also Arduino Uno.