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

I could imagine this one shot, count down configuration could lead to some problems in combination with hwtimer and vtimer. At least the other implementations use wrap around up counting.