diff --git a/vgasrc/vgainit.c b/vgasrc/vgainit.c
index d6a297e..56222b4 100644
--- a/vgasrc/vgainit.c
+++ b/vgasrc/vgainit.c
@@ -18,9 +18,10 @@
 #include "vgahw.h" // vgahw_setup
 #include "vgautil.h" // swcursor_check_event
 
+#if CONFIG_X86
 // Type of emulator platform - for dprintf with certain compile options.
 int PlatformRunningOn VAR16;
-
+#endif
 
 /****************************************************************
  * PCI Data