use Paulo's reduced version


git-svn-id: svn://svn.coreboot.org/coreboot/trunk@1853 2b7e53f0-3cfb-0310-b3e9-8179ed1497e1
diff --git a/util/vgabios/int10.c b/util/vgabios/int10.c
index 702be4f..bccb3d9 100644
--- a/util/vgabios/int10.c
+++ b/util/vgabios/int10.c
@@ -18,7 +18,7 @@
  */
 int int42_handler()
 {
-
+#if 0
 	if (verbose && X86_AH != 0x0e) {
 		printf("int%x\n", current->num);
 		x86emu_dump_xregs();
@@ -472,7 +472,7 @@
 		/* Ignored                                            */
 		break;
 	}
-
+#endif
 	return 1;
 }
 #endif