Added mutex for multiple SPI devices on the same SPI bus

Fork of cc3000_hostdriver_mbedsocket by Martin Kojtal

Socket/TCPSocketServer.h/shortlog@cc9a2501e29f: not found in manifest