using energia 17 and cc3200 the USB port occasionally goes completely dead requiring a hard reboot to bring back to life. I think it may be happing when the board is unplugged with the serial monitor running at 115200. I have seen this on 3 different mac book pros including a new one.