CONFIG_ARCH_MOXART is not available for thedefaultarchitecture x86.
Result is shown for architecture arm

MOXA ART SoC

modulename: irq-moxart.ko

and/or

moxart_timer.ko

and/or

clk-moxart.ko

configname: CONFIG_ARCH_MOXART

Linux Kernel Configuration
└─>MOXA ART SoC
In linux kernel since version 3.10 (release Date: 2013-06-30)  
Say Y here if you want to run your kernel on hardware with a
MOXA ART SoC.
The MOXA ART SoC is based on a Faraday FA526 ARMv4 32-bit
192 MHz CPU with MMU and 16KB/8KB D/I-cache (UC-7112-LX).
Used on models UC-7101, UC-7112/UC-7110, IA240/IA241, IA3341.

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

is selected by
CONFIG_GPIO_MOXART