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

Don't forget to call `config[TIMER_0].cb(0);` here.