CONFIG_ARCH_PICOXCELL is not available for the selected architecture x86.
Result is shown for architecture arm
Picochip PicoXcell
configname: CONFIG_ARCH_PICOXCELL
Linux Kernel Configuration
└─>Picochip PicoXcell