Do you really want to send rescdsk a message saying you like their work?
example: printk(KERN_EMERG "Aiee, killing interrupt handler\n");