[PATCH] Yet more posix-cpu-timer fixes