Make kernel printk configurable