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