use Paulo's reduced version

git-svn-id: svn://svn.coreboot.org/coreboot/trunk@1853 2b7e53f0-3cfb-0310-b3e9-8179ed1497e1

util/vgabios/int10.c

@@ -18,7 +18,7 @@ extern int verbose;
  */
 int int42_handler()
 {
-
+#if 0
 	if (verbose && X86_AH != 0x0e) {
 		printf("int%x\n", current->num);
 		x86emu_dump_xregs();
@@ -472,7 +472,7 @@ int int42_handler()
 		/* Ignored                                            */
 		break;
 	}
-
+#endif
 	return 1;
 }
 #endif