CONFIG_MACH_STM32MP13 is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
STMicroelectronics STM32MP13x
configname: CONFIG_MACH_STM32MP13
Linux Kernel Configuration
└─>STMicroelectronics STM32 family
└─>STMicroelectronics STM32MP13x
In linux kernel since version 5.2 (release Date: 2019-07-07)
Support for STM32MP13 SoCs:
STM32MP131, STM32MP133, STM32MP135
STM32MP131, STM32MP133, STM32MP135