When building a distro for our custom board with a STM32MP153AAC, u-boot-stm32mp fails to build when UBOOT_CONFIG is set to "basic". We would like to do a ddr3 test, this is the reason for the config.Here is the relevant section from conf/machine/stm...