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