[PATCH 5.1 154/371] clocksource/drivers/exynos_mct: Increase priority over ARM arch timer