Add TI Tiva C controller support.

Currently supported:
 - GPIO
 - System clock configuration
 - UART TX with polling
 - Timer support with polling
 - Platform tree support
Merge pull request #209 from simias/master

Added TI Tiva C controller support.