Re: [U-Boot] [U-Boot, v1, 09/11] configs: stm32h743-discovery: Add DISTRO_DEFAULT support