[PATCH] Fix posix-cpu-timer breakage caused by stale p->last_ran value