sync with sources

Reference: /n/atom/patch/applied2013/vesamain
Date: Wed Jun 19 03:05:11 CES 2013
Signed-off-by: quanstro@quanstro.net

--- /sys/src/cmd/aux/vga/main.c	Wed Jun 19 03:04:52 2013
+++ /sys/src/cmd/aux/vga/main.c	Wed Jun 19 03:04:52 2013
@@ -328,11 +328,9 @@
 				freq = vga->f[1];
 
 			rr = (double)freq/(vga->mode->ht*vga->mode->vt);
-			trace("refresh %.1g\n", rr);
-			if(rr > 85.0){		/* >85Hz is ridiculous */
-				fprint(2, "reducing %.1g to 85Hz\n", rr);
+			if(rr > 85.0)		/* >85Hz is ridiculous */
 				rr = 85.0;
-			}
+
 			bytes = (vga->mode->x*vga->mode->y*vga->mode->z)/8;
 			membw = rr*bytes;
 			if(vga->membw != 0 && membw > vga->membw){