fix: kprintf now works with multiple arguments

src/kernel.c

@@ -1,5 +1,5 @@
-#include "terminal.h"
 #include "kprintf.h"
+#include "terminal.h"
 
 #include <stdbool.h>
 #include <stddef.h>
@@ -16,10 +16,11 @@
 #error "This tutorial needs to be compiled with a ix86-elf compiler"
 #endif
 
-void kernel_main(void) {
-  /* Initialize terminal interface */
-  terminal_initialize();
+void kernel_main(void)
+{
+	/* Initialize terminal interface */
+	terminal_initialize();
 
-  /* Newline support is left as an exercise. */
-  kprintf(0, "Hello world!");
+	/* Newline support is left as an exercise. */
+	kprintf(0, "test %d a %d b %d\n", 10, 2, 3);
 }