modify the printf function to rt_kprintf.