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

s/GPTIMER_NUMOF/NUM_CHANNELS_PER_GPTIMER/
The `hwtimer_arch.c` implementation currently operates on one gptimer (defined by `HW_TIMER` in `board.h`)