substituted printk("KERN_DEBUG" with printf( to make better use of the defined macro in stdio.h