misc: changes from a long time ago

arch/x86_64/init.c

@@ -1,7 +1,7 @@
-#include "arch/serial.h"
-
 #include <arch/e820.h>
 #include <arch/pit.h>
+#include <arch/serial.h>
+#include <arch/vgacon.h>
 #include <mango/arg.h>
 #include <mango/clock.h>
 #include <mango/console.h>
@@ -52,11 +52,12 @@ void early_console_init(void)
 {
 	const char *dest = arg_value("kernel.early-console");
 	if (!dest) {
-		dest = "ttyS0";
+		dest = "tty0";
 	}
 
 	if (!strcmp(dest, "tty0")) {
 		/* show log messages on VGA */
+		vgacon_init();
 	} else if (!strcmp(dest, "ttyS0")) {
 		/* write log messages to serial port */
 		early_serialcon_init(115200);