Index: kernel/arch/arm32/src/mach/integratorcp/integratorcp.c
===================================================================
--- kernel/arch/arm32/src/mach/integratorcp/integratorcp.c	(revision 0d8269b0ede82319cdf579f85786877a03ae370c)
+++ kernel/arch/arm32/src/mach/integratorcp/integratorcp.c	(revision 0a4e1c77c74b5ead21db7cd9a738ffaacc357307)
@@ -70,5 +70,4 @@
 
 static bool hw_map_init_called = false;
-static bool vga_init = false;
 uint32_t sdram[8] = {
 	16777216,	/* 16mb */
@@ -286,4 +285,5 @@
 {
 #ifdef CONFIG_FB
+	static bool vga_init = false;
 	if (!vga_init) {
 		icp_vga_init();