[PATCH v1 2/6] configs: stm32f769-disco: Fix SPL boot