hw/timer/exynos4210_mct.c: Switch GFRC to transaction-based ptimer API