[PATCH v2 1/7] configs: stm32f746-disco: Fix SPL boot