Index: xen-unstable/xen/drivers/video/vga.c
===================================================================
--- xen-unstable.orig/xen/drivers/video/vga.c
+++ xen-unstable/xen/drivers/video/vga.c
@@ -585,6 +585,8 @@ void vga_init(void)
             vgacon_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();