Enable interrupts

src/libs/stdio.hpp

@@ -8,18 +8,13 @@ extern void (*__putchar)(char);
 /**
  * Print a char* in the framebuffer
  */
-void printk(char *,...);
+extern "C" void printk(char *,...);
 
 /**
  * Print a char*
  */
 void print(char *s);
 
-/**
- * Print a char in the framebuffer
- */
-void printc(char *, VIDEO_COLORS c);
-
 /**
  * Print an integer using itoa()
  */
@@ -30,7 +25,3 @@ void printi(int i);
  */
 void printh(int h);
 
-/**
- * Print an integer as hex using itoh() truncated to size
- */
-void printh(int h, u32 size);