CONFIG_P4080_DS is not available for the selected architecture x86.
Result is shown for architecture powerpc
Freescale P4080 DS
modulename: p4080_ds.ko
configname: CONFIG_P4080_DS
Linux Kernel Configuration
└─>Freescale Book-E Machine Type
└─>Freescale P4080 DS
In linux kernel since version 2.6.33 (release Date: 2010-02-24)
This option enables support for the P4080 DS board