CONFIG_STX_GP3 is not available for thedefaultarchitecture x86.
Result is shown for architecture powerpc

Silicon Turnkey Express GP3

modulename: stx_gp3.ko

configname: CONFIG_STX_GP3

Linux Kernel Configuration
└─>Freescale Book-E Machine Type
└─>Silicon Turnkey Express GP3
In linux kernel since version 2.6.12  
This option enables support for the Silicon Turnkey Express GP3
board.

source code:
/arch/powerpc/platforms/85xx/stx_gp3.c