include/config/arch/have/nmi/