configs: stm32f746-disco: Fix stm32f746-disco boot