Fixed cc3200 startup_gcc.c, had clobbered Robert's syscall functions.