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/helper_exec.c b/util/vgabios/helper_exec.c
index ee03f4e..8d18798 100644
--- a/util/vgabios/helper_exec.c
+++ b/util/vgabios/helper_exec.c
@@ -50,8 +50,8 @@
 	X86_CS = MEM_RW((num << 2) + 2);
 	X86_IP = MEM_RW(num << 2);
 
-	//printf("%s: INT %x CS:IP = %x:%x\n", __FUNCTION__,
-	//       num, MEM_RW((num << 2) + 2), MEM_RW(num << 2));
+	printf("%s: INT %x CS:IP = %x:%x\n", __FUNCTION__,
+	       num, MEM_RW((num << 2) + 2), MEM_RW(num << 2));
 
 	return 1;
 }
@@ -128,7 +128,7 @@
 
 	val = inb(port);
 
-	//printf("inb(0x%04x) = 0x%02x\n", port, val);
+	printf("inb(0x%04x) = 0x%02x\n", port, val);
 
 	return val;
 }
@@ -139,7 +139,7 @@
 
 	val = inw(port);
 
-	//printf("inw(0x%04x) = 0x%04x\n", port, val);
+	printf("inw(0x%04x) = 0x%04x\n", port, val);
 	return val;
 }
 
@@ -149,25 +149,26 @@
 
 	val = inl(port);
 
-	//printf("inl(0x%04x) = 0x%08x\n", port, val);
+	printf("inl(0x%04x) = 0x%08x\n", port, val);
 	return val;
 }
 
 void x_outb(u16 port, u8 val)
 {
-	//printf("outb(0x%02x, 0x%04x)\n", val, port);
+	printf("outb(0x%02x, 0x%04x)\n",
+		 val, port);
 	outb(val, port);
 }
 
 void x_outw(u16 port, u16 val)
 {
-	//printf("outw(0x%04x, 0x%04x)\n", val, port);
+	printf("outw(0x%04x, 0x%04x)\n", val, port);
 	outw(val, port);
 }
 
 void x_outl(u16 port, u32 val)
 {
-	//printf("outl(0x%08x, 0x%04x)\n", val, port);
+	printf("outl(0x%08x, 0x%04x)\n", val, port);
 	outl(val, port);
 }