fix !CONFIG_PRINTK
1 file changed