CONFIG_BOARD_ATSTK100X_SPI1 is not available for thedefaultarchitecture x86.
Result is shown for architecture avr32
default or selected kernelversion does not have config value CONFIG_BOARD_ATSTK100X_SPI1.
Result is shown for kernelversion 6.5.1

Configure SPI1 controller

configname: CONFIG_BOARD_ATSTK100X_SPI1

Linux Kernel Configuration
└─>Configure SPI1 controller
In linux kernel since version 2.6.25 (release Date: 2008-04-16)  
All the signals for the second SPI controller are available on
GPIO lines and accessed through the J1 jumper block. Say "y"
here to configure that SPI controller.