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

GE PPC9A

modulename: gef_ppc9a.ko

configname: CONFIG_GEF_PPC9A

Linux Kernel Configuration
└─>86xx-based boards
└─>GE PPC9A
In linux kernel since version 2.6.30 (release Date: 2009-06-09)  
This option enables support for the GE PPC9A.

source code: