Restoring multiboot flags.

sys/src/9/k10/main.c

@@ -50,7 +50,7 @@ static int maxcores = 1024;	/* max # of cores given as an argument */
 static int numtcs = 32;		/* initial # of TCs */
 
 char dbgflg[256];
-static int vflag = 0;
+static int vflag = 1;
 
 int nosmp = 0;