Re: [PATCH 5/8] ARM: zynq: use generic cpu idle function for wfi