CONFIG_NDS32 is not available for thedefaultarchitecture x86.
Result is shown for architecture nds32

CONFIG_NDS32 (not configurable)

modulename: irq-ativic32.ko

configname: CONFIG_NDS32

Linux Kernel Configuration
└─>NDS32
In linux kernel since version 3.10 (release Date: 2013-06-30)  
Andes(nds32) Linux support.

source code:
drivers/irqchip/irq-ativic32.c

is selected by
CONFIG_ATCPIT100_TIMER