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

AT572D940HF

modulename: at572d940hf.ko

configname: CONFIG_ARCH_AT572D940HF

Atmel AT91 Processor
└─>AT572D940HF
In linux kernel since version 2.6.34 (release Date: 2010-05-16)  
source code:
/arch/arm/mach-at91/

is selected by
CONFIG_MACH_AT572D940HFEB