Added mutex for multiple SPI devices on the same SPI bus

Fork of cc3000_hostdriver_mbedsocket by Martin Kojtal

Socket/UDPSocket.cpp/shortlog@8c7cc1c76ff8: not found in manifest