[QUESTION] : why is the exynos not using the TWD as local timers ?