[PATCH 0/8] ARM: use cpu_do_idle for entering wfi mode