add kernel printk snippets