Added stdarg.h and kprintf() function