# CONFIG_PRINTK is not set

