[PATCH 9/9] cpu/idle.c: move to sched/idle.c