[RFC PATCH 0/3] cpuidle/sched: move main idle function in the idle.c