NSM: convert printk(KERN_DEBUG) to a dprintk()