CONFIG_BOARD_ATSTK1002 is not available for thedefaultarchitecture x86.
Result is shown for architecture avr32

CONFIG_BOARD_ATSTK1002 (not configurable)

modulename: atstk1002.ko

configname: CONFIG_BOARD_ATSTK1002

Linux Kernel Configuration
└─>System Type and features
└─>BOARD_ATSTK1002
In linux kernel since version 2.6.19 (release Date: 2006-11-29)  
source code:
arch/avr32/boards/atstk1000/atstk1002.c