CONFIG_MICROBLAZE is not available for thedefaultarchitecture x86.
Result is shown for architecture microblaze

CONFIG_MICROBLAZE (not configurable)

modulename: setup-bus.ko

configname: CONFIG_MICROBLAZE

Linux/Microblaze Kernel Configuration
└─>MICROBLAZE
In linux kernel since version 2.6.30 (release Date: 2009-06-09)  
selects
CONFIG_HAVE_LMB
CONFIG_USB_ARCH_HAS_EHCI
CONFIG_ARCH_WANT_OPTIONAL_GPIOLIB
CONFIG_HAVE_MEMBLOCK
CONFIG_HAVE_MEMBLOCK_NODE_MAP
CONFIG_HAVE_FUNCTION_TRACER
CONFIG_HAVE_FUNCTION_TRACE_MCOUNT_TEST
CONFIG_HAVE_FUNCTION_GRAPH_TRACER
CONFIG_HAVE_DYNAMIC_FTRACE
CONFIG_HAVE_FTRACE_MCOUNT_RECORD
CONFIG_HAVE_OPROFILE
CONFIG_HAVE_ARCH_KGDB
CONFIG_HAVE_DMA_ATTRS
CONFIG_HAVE_DMA_API_DEBUG
CONFIG_TRACING_SUPPORT
CONFIG_OF
CONFIG_OF_EARLY_FLATTREE
CONFIG_ARCH_WANT_IPC_PARSE_VERSION
CONFIG_HAVE_DEBUG_KMEMLEAK
CONFIG_IRQ_DOMAIN
CONFIG_HAVE_GENERIC_HARDIRQS
CONFIG_GENERIC_IRQ_PROBE
CONFIG_GENERIC_IRQ_SHOW
CONFIG_GENERIC_PCI_IOMAP
CONFIG_GENERIC_CPU_DEVICES
CONFIG_GENERIC_ATOMIC64
CONFIG_GENERIC_CLOCKEVENTS
CONFIG_MODULES_USE_ELF_RELA
CONFIG_CLONE_BACKWARDS
CONFIG_VIRT_TO_BUS
CONFIG_HAVE_VIRT_TO_BUS
CONFIG_ARCH_HAS_GCOV_PROFILE_ALL
CONFIG_ARCH_MIGHT_HAVE_PC_PARPORT
CONFIG_BUILDTIME_EXTABLE_SORT
CONFIG_CLKSRC_OF
CONFIG_CLONE_BACKWARDS3
CONFIG_COMMON_CLK
CONFIG_GENERIC_IDLE_POLL_SETUP
CONFIG_GENERIC_SCHED_CLOCK
CONFIG_ARCH_32BIT_OFF_T
CONFIG_ARCH_NO_SWAP
CONFIG_ARCH_HAS_DMA_PREP_COHERENT
CONFIG_ARCH_HAS_SYNC_DMA_FOR_CPU
CONFIG_ARCH_HAS_SYNC_DMA_FOR_DEVICE
CONFIG_BUILDTIME_TABLE_SORT
CONFIG_TIMER_OF
CONFIG_DMA_DIRECT_REMAP
CONFIG_HAVE_ARCH_HASH
CONFIG_HAVE_ARCH_SECCOMP
CONFIG_HAVE_DMA_CONTIGUOUS
CONFIG_HAVE_PCI
CONFIG_XILINX_INTC
CONFIG_PCI_DOMAINS_GENERIC
CONFIG_PCI_SYSCALL
CONFIG_CPU_NO_EFFICIENT_FFS
CONFIG_MMU_GATHER_NO_RANGE
CONFIG_SPARSE_IRQ
CONFIG_SET_FS
CONFIG_ZONE_DMA
CONFIG_TRACE_IRQFLAGS_SUPPORT