Minor.

http/continue2.c

@@ -201,7 +201,7 @@ void load_linux32() {
     printf("Initrd initially allocated at 0x%x, then moved at 0x%x\n", initrd, initrd_aligned);
     prepare_boot_params(real_mode, initrd_aligned, initrd_size);
     load_linux_gdt();
-    char *cmdline = "verbose";
+    char *cmdline = "verbose earlyprintk nokaslr console=uart8250,io,0x3f8,115200n8";
 
     // Here we really smash our operating system!
     memset((void*) 0x10000, 0, 0x10000);