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

not 100% sure but I think you need to call `NVIC_SetPriority()` for these too.