diff --git a/qiboot/include/serial.h b/qiboot/include/serial.h
index 4e0f0b4..12e2ae9 100644
--- a/qiboot/include/serial.h
+++ b/qiboot/include/serial.h
@@ -20,7 +20,6 @@
  * MA 02111-1307 USA
  */
 
-#include <stdarg.h>
 
 #ifndef __SERIAL_H__
 #define __SERIAL_H__
diff --git a/qiboot/src/kboot.h b/qiboot/src/kboot.h
new file mode 100644
index 0000000..037a5d0
--- /dev/null
+++ b/qiboot/src/kboot.h
@@ -0,0 +1,14 @@
+
+#ifndef __KBOOT_H__
+#define __KBOOT_H__
+
+#include <stdarg.h>
+#include "serial.h"
+#include "ctype.h"
+
+int printk(const char *fmt, ...);
+int vsprintf(char *buf, const char *fmt, va_list args);
+void puts(const char *string);
+
+#endif
+
diff --git a/qiboot/src/serial.c b/qiboot/src/serial.c
index 09bb177..9c7e7f9 100644
--- a/qiboot/src/serial.c
+++ b/qiboot/src/serial.c
@@ -20,8 +20,8 @@
  * MA 02111-1307 USA
  */
 
-#include "serial.h"
 #include "blink_led.h"
+#include "kboot.h"
 
 #define DEBUG_CONSOLE_UART 2
 
diff --git a/qiboot/src/start_kboot.c b/qiboot/src/start_kboot.c
index 70ece03..76a1c34 100644
--- a/qiboot/src/start_kboot.c
+++ b/qiboot/src/start_kboot.c
@@ -21,7 +21,7 @@
  */
 #include "blink_led.h"
 #include "nand_read.h"
-#include "serial.h"
+#include "kboot.h"
 /*
 unsigned char buf[]={
 0x0d,0xc0,0xa0,0xe1,0x00,0xd8,0x2d,0xe9,0x04,0xb0,0x4c,0xe2,0x4c,0x20,0x9f,0xe5,