CONFIG_FSL_BOOKE is not available for the selected architecture x86.
Result is shown for architecture powerpc
CONFIG_FSL_BOOKE (not configurable)
configname: CONFIG_FSL_BOOKE
Linux Kernel Configuration
└─>Processor support
└─>FSL_BOOKE