The great 64-bit rewrite

* We did loose tasking and only have a paging skeleton, but hey it took like 4 months so i'm happy that there's something :p

kernel/src/serial.c

@@ -63,9 +63,9 @@ int debugf(char* fmt, ...) {
 }
 
 int vdebugf(char* fmt, va_list args) {
-	static char buf[DF_BUF_LEN];
-	int ret = vsnprintf(buf, DF_BUF_LEN, fmt, args);
-	serial_puts(COM1, buf);
-	return ret;
+	char buf[DF_BUF_LEN];
+	int len = vsnprintf(buf, DF_BUF_LEN, fmt, args);
+	serial_write(COM1, buf, len);
+	return len;
 }