kernel/sched.c: remove bogus comment from account_user_time