Re: [PATCH 3/7 v3] sched: factorize PELT update