[PATCH v4 0/6] Proper arch timer support for Exynos5433-based TM2(e) boards

Dear All, This patchset is an attempt to submit the last piece of missing code to have proper support for Exynos5433 SoCs based TM2(e) boards. It performs a cleanup of timer configuration, which so far needed various out-of-tree workarounds. The fixes provided by this patchset are also needed for

[PATCH v4 0/6] Proper arch timer support for Exynos5433-based TM2(e) boards

Dear All, This patchset is an attempt to submit the last piece of missing code to have proper support for Exynos5433 SoCs based TM2(e) boards. It performs a cleanup of timer configuration, which so far needed various out-of-tree workarounds. The fixes provided by this patchset are also needed for