Index: kernel/arch/arm32/src/mach/integratorcp/integratorcp.c
===================================================================
--- kernel/arch/arm32/src/mach/integratorcp/integratorcp.c	(revision 2902e1bb4254bbfdd521b4645e8979af80734627)
+++ kernel/arch/arm32/src/mach/integratorcp/integratorcp.c	(revision f5299fa1e88c0851fbc4b04964b82fb9d1c89852)
@@ -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();