[PATCH 6/8] ARM: ux500: use generic cpu idle function for wfi