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

Freescale CoreNet Generic

modulename: corenet_generic.ko

configname: CONFIG_CORENET_GENERIC

Linux Kernel Configuration
└─>Freescale Book-E Machine Type
└─>Freescale CoreNet Generic
In linux kernel since version 3.10 (release Date: 2013-06-30)  
This option enables support for the FSL CoreNet based boards.
For 32bit kernel, the following boards are supported:
P2041 RDB, P3041 DS, P4080 DS, kmcoge4, and OCA4080
For 64bit kernel, the following boards are supported:
T208x QDS/RDB, T4240 QDS/RDB and B4 QDS
The following boards are supported for both 32bit and 64bit kernel:
P5020 DS, P5040 DS, T102x QDS/RDB, T104x QDS/RDB

source code: