modified:   ../../platform/cc2538dk/startup-gcc.c