CONFIG_MACH_STM32H743 is not available for the selected architecture x86.
Result is shown for architecture arm
STMicrolectronics STM32H743
configname: CONFIG_MACH_STM32H743
Linux Kernel Configuration
└─>STMicrolectronics STM32H743