Re: [PATCH 4/8] ARM: vexpress: use generic cpu idle function for wfi