CONFIG_PPC_C2K is not available for thedefaultarchitecture x86.
Result is shown for architecture powerpc
SBS/GEFanuc C2K board
modulename: c2k.ko
configname: CONFIG_PPC_C2K
Linux Kernel Configuration
└─>SBS/GEFanuc C2K board
In linux kernel since version 2.6.27 (release Date: 2008-10-09)
This option enables support for the GE Fanuc C2K board (formerly
an SBS board).
an SBS board).