CONFIG_P5040_DS is not available for thedefaultarchitecture x86.
Result is shown for architecture powerpc
Freescale P5040 DS
modulename: p5040_ds.ko
configname: CONFIG_P5040_DS
Linux Kernel Configuration
└─>Freescale Book-E Machine Type
└─>Freescale P5040 DS
In linux kernel since version 3.1 (release Date: 2011-10-24)
This option enables support for the P5040 DS board