ARM: 7064/1: vexpress: Use wfi macro in platform_do_lowpower.