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

not needed? At least the second path is already included in the INCLUDES...