sched, cputime: Cleanups related to task_times()