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