inline k_printf.c() removed (sorry for that, git messed up my local repo)