Small fixes in cc3000 driver

Just a small fixes I came accross while reading the source.