[PATCH v1 1/6] configs: stm32f746-disco: Fix SPL boot