[PATCH] posix-cpu-timers: fix overrun reporting