ARM: highbank: use hardcoded wfi instr for old compilers

Older compilers don't recognize v7 wfi instruction, so just hard-code the
machine code and revert compiling with armv7.

Signed-off-by: Rob Herring <rob.herring@calxeda.com>
diff --git a/board/highbank/highbank.c b/board/highbank/highbank.c
index ab687e5..3361104 100644
--- a/board/highbank/highbank.c
+++ b/board/highbank/highbank.c
@@ -89,5 +89,6 @@
 {
 	writel(HB_PWR_HARD_RESET, HB_SREG_A9_PWR_REQ);
 	writeb(0x3, 0xfff10008);
-	asm("	wfi");
+	/* older compilers don't understand wfi instr, so hardcode it */
+	asm(" .word 0xe320f003");
 }