[tip: sched/urgent] kernel/sched: Modify initial boot task idle setup