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