CONFIG_XILINX_MICROBLAZE0_USE_BARREL is not available for thedefaultarchitecture x86.
Result is shown for architecture microblaze
USE_BARREL range (0:1)
configname: CONFIG_XILINX_MICROBLAZE0_USE_BARREL
Linux Kernel Configuration
└─>Platform options
└─>USE_BARREL range (0:1)