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