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