CONFIG_ARCH_AT91 is not available for the selected architecture x86.
Result is shown for architecture arm
AT91/Microchip SoCs
configname: CONFIG_ARCH_AT91
Linux Kernel Configuration
└─>AT91/Microchip SoCs