printf() works in the kernel now