Add FDT for Arndale board and Samsung Exynos5250 SoC.

Submitted by:	Ruslan Bukin <br@bsdpad.com>
Add ARM Generic Timer driver.

Submitted by:	Ruslan Bukin <br@bsdpad.com>