Added mutex for multiple SPI devices on the same SPI bus

Fork of cc3000_hostdriver_mbedsocket by Martin Kojtal

cc3000_hci.cpp/shortlog@d23c59fec0dc: not found in manifest