ubuntu-linux-kernel/include/config/printk/nmi.h