mach-stm32: Fix MPU region size dedicated to SDRAM for STM32F4