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

you should set the `PendSV` interrupt priority to the lowest possible priority, otherwise you risk to run into hard-faults when switching tasks.