Display output using the put_char() function you provide (x86 only).
void kprintf (const char *fmt, ... )
Reserved for internal use. This function supports a very limited set of printf() style formats.