Arndale Support (proto2-arndale) Merge Request to branch proto2

- uboot support for arndale
- added directory for supporting fastmodels RTSM_VE and Arndale at the same time
- Use of Exnos5250 mct to enable Generic Timer
- Exynos5250 UART
- device directory restructured: devices/ and include/ directory for gic, generic timer, uart as such