add reg-timer.h for exynos4412
temp add exynos4412-irq.c and exynos4412-tick.c
Merge branch 'dev' of github.com:xboot/xboot into dev
Merge branch 'dev' of github.com:xboot/xboot into dev