CONFIG_MACH_STM32F746 is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
STMicrolectronics STM32F746
configname: CONFIG_MACH_STM32F746
Linux Kernel Configuration
└─>STMicrolectronics STM32F746