Index: xen-3.1-testing/xen/drivers/video/vga.c
===================================================================
--- xen-3.1-testing.orig/xen/drivers/video/vga.c
+++ xen-3.1-testing/xen/drivers/video/vga.c
@@ -587,6 +587,8 @@ void vga_init(void)
             keep = -1;
         else if ( strncmp(p, "text-80x", 8) == 0 )
             vgacon_lines = simple_strtoul(p + 8, NULL, 10);
+        else if ( strncmp(p, "text", 4) == 0 && p[4] != '-' )
+            vgacon_lines = 0;
     }
 
     video = setup_vga();