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

no need to yield here. (the `thread_yield()` is somehow left over from my early Cortex ports...)