Add printf support for kernels