Re: [PATCH 2/9] ARM64: get rid of arch_cpu_idle_prepare()