CONFIG_STX_GP3 is not available for the selected architecture 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: