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

AT572D940HF-EK

modulename: board-at572d940hf_ek.ko

configname: CONFIG_MACH_AT572D940HFEB

Linux Kernel Configuration
└─>Atmel AT91 System-on-Chip
└─>AT572D940HF-EK
In linux kernel since version 2.6.34 (release Date: 2010-05-16)  
Select this if you are using Atmel's AT572D940HF-EK evaluation kit.
<http://www.atmel.com/products/diopsis/default.asp>

source code:
arch/arm/mach-at91/board-at572d940hf_ek.c