Of course libc is not avaliable in kernel space but programmers are used to using things like memcpy and sprintf so quite a few of standard libc functions have been implemented in the kernel 1. A few of these are architecture specific so you need to check if a particular call actually is available or not.