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

Please add the following code block to run the scheduler if needed after the ISR.

```C
if (sched_context_switch_request) {
    thread_yield();
}
```