This patch will fix an issue that was preventing the stm32f7 board from working with external SDRAM memory.