CONFIG_ARC_PLAT_AXS10X is not available for thedefaultarchitecture x86.
Result is shown for architecture arc

Synopsys ARC AXS10x Software Development Platforms

modulename: axs10x.ko

configname: CONFIG_ARC_PLAT_AXS10X

Linux Kernel Configuration
└─>Synopsys ARC AXS10x Software Development Platforms
In linux kernel since version 3.10 (release Date: 2013-06-30)  
Support for the ARC AXS10x Software Development Platforms.

The AXS10x Platforms consist of a mainboard with peripherals,
on which several daughter cards can be placed. The daughter cards
typically contain a CPU and memory.

source code:
arch/arc/plat-axs10x/axs10x.c