CONFIG_FSL_SOC_BOOKE is not available for thedefaultarchitecture x86.
Result is shown for architecture powerpc
Freescale Book-E Machine Type
configname: CONFIG_FSL_SOC_BOOKE
Linux Kernel Configuration
└─>Freescale Book-E Machine Type