clocksource: mct: Add missing semicolons in exynos_mct.c