Kernel not printing