[PATCH 4.19 115/271] clocksource/drivers/exynos_mct: Increase priority over ARM arch timer