CONFIG_BOARD_ATSTK1000 is not available for thedefaultarchitecture x86.
Result is shown for architecture avr32
default or selected kernelversion does not have config value CONFIG_BOARD_ATSTK1000.
Result is shown for kernelversion 6.5.1
ATSTK1000 evaluation board
configname: CONFIG_BOARD_ATSTK1000
AVR32 board type
└─>ATSTK1000 evaluation board