posix-cpu-timers: Remove tsk argument from run_posix_cpu_timers()