Re: [PATCH v2] kernel/sched: Modify initial boot task idle setup