Re: [PATCH v1 06/12] configs: stm32f769-disco: Migrate SPL flags to defconfig