Re: [PATCH] sched/core: fix formatting issues in sched_can_stop_tick()