Add printf, gdb support, fix gdt
diff --git a/src/vga.h b/src/vga.h
index 0968ca1..9c7ba16 100644
--- a/src/vga.h
+++ b/src/vga.h
@@ -24,6 +24,7 @@
 
 void vga_set_color(enum vga_colors fg, enum vga_colors bg);
 void vga_put(char c);
+void vga_putd(uint d);
 void vga_putx(uint x);
 void vga_clear();
 void vga_write(char *c);