print to the kernel debug level