ARM: highbank: Add boot counter support

Add boot counter support using an sysreg which is persistent across reset.

Signed-off-by: Rob Herring <rob.herring@calxeda.com>
diff --git a/board/highbank/highbank.c b/board/highbank/highbank.c
index 5f34fec..096e2f6 100644
--- a/board/highbank/highbank.c
+++ b/board/highbank/highbank.c
@@ -21,6 +21,7 @@
 #include <scsi.h>
 
 #include <asm/sizes.h>
+#include <asm/io.h>
 
 DECLARE_GLOBAL_DATA_PTR;