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 and P4080 DS
For 64bit kernel, the following boards are supported:
T4240 QDS and B4 QDS
The following boards are supported for both 32bit and 64bit kernel:
P5020 DS and P5040 DS

source code: