CONFIG_PRINTK_NMI=y
