cc3200 with linux