this is probably in vain because this tool should use the same x86emu as
coreboot in order to produce comparable results. But, this patch drops the 
CONFIG_ from CONFIG_DEBUG because that was added by accident when we
automatically renamed coreboot variables to be consistent. "vgabios" is an
independent userspace utility, and it does not use newconfig nor Kconfig, so
it should not be converted. (trivial)

Signed-off-by: Stefan Reinauer <stepan@coresystems.de>
Acked-by: Stefan Reinauer <stepan@coresystems.de>



git-svn-id: svn://svn.coreboot.org/coreboot/trunk@4782 2b7e53f0-3cfb-0310-b3e9-8179ed1497e1
diff --git a/util/vgabios/helper_mem.c b/util/vgabios/helper_mem.c
index 3e201c0..50a303b 100644
--- a/util/vgabios/helper_mem.c
+++ b/util/vgabios/helper_mem.c
@@ -24,7 +24,7 @@
 };
 #endif
 
-#ifdef CONFIG_DEBUG
+#ifdef DEBUG
 void dprint(unsigned long start, unsigned long size)
 {
 	int i, j;
@@ -44,7 +44,7 @@
 	}
 	printf("\n");
 }
-#endif /* CONFIG_DEBUG */
+#endif /* DEBUG */
 
 #if 0
 #ifndef _PC