CONFIG_FSL_BOOKE is not available for thedefaultarchitecture x86.
Result is shown for architecture ppc
CONFIG_FSL_BOOKE (not configurable)
modulename: fsl_booke_mmu.ko
configname: CONFIG_FSL_BOOKE
Linux/PowerPC Kernel Configuration
└─>Processor
└─>FSL_BOOKE