It makes sense to test cc2538dk with the toolchain recommended in the README (GNU Tools for ARM Embedded Processors) rather than the one which was being used two years ago (Sourcery G++ Lite)
These platforms are built with an old ARM compiler that supports the deprecated APCS standard.