if TARGET_ST_STM32MP25X config SYS_BOARD default "stm32mp2" config SYS_VENDOR default "st" config SYS_CONFIG_NAME default "stm32mp25_common" source "board/st/common/Kconfig" endif