some finishing touches to printf

kernel/kmain.c

@@ -22,4 +22,12 @@ void kmain(void)
 	terminal_initialize();
 	serial_initialize();
 #endif
+
+	uint8_t a = 2;
+	uint16_t b = 3;
+	int c = 4;
+
+	uint64_t d = 10;
+
+	printf("%d, %d, %d, %3", a, b, c, d);
 }