CONFIG_PRINTK=n
CONFIG_PRINTK_NMI=n