CC3200 startup code for CCS GCC (& EWARM)