CONFIG_BOARD_ATSTK1002 is not available for the selected architecture x86.
Result is shown for architecture avr32

ATSTK1002

modulename: atstk1002.ko

configname: CONFIG_BOARD_ATSTK1002

ATSTK1000 CPU daughterboard type
└─>ATSTK1002
In linux kernel since version 2.6.19 (release Date: 2006-11-29)
source code:
arch/avr32/boards/atstk1000/atstk1002.c