Add support for the Texas Instruments CC2538 ARM Cortex-M3 MCU and developer kit.

I would see this export rather in the board/Makefile.include