printf() doesn't work in the kernel (WTF?)