px4-fmuv5: config fix stm32f7 max SD card speed

In the stm32f7 the configuration variable for SD card with DMA changed from CONFIG_STM32_SDIO_DMA to CONFIG_STM32F7_SDMMC_DMA
the maximum clock speed of 16MHz can now be achieved.

platforms/nuttx/nuttx-configs/px4fmu-v5/include/board.h

@@ -225,7 +225,7 @@
  * DMA OFF: SDMMCCLK=48MHz, SDMMC_CK=SDMMCCLK/(2+2)=12 MHz
  */
 
-#ifdef CONFIG_STM32_SDIO_DMA
+#ifdef CONFIG_STM32F7_SDMMC_DMA
 #  define STM32_SDMMC_MMCXFR_CLKDIV     (1 << STM32_SDMMC_CLKCR_CLKDIV_SHIFT)
 #else
 #  define STM32_SDMMC_MMCXFR_CLKDIV     (2 << STM32_SDMMC_CLKCR_CLKDIV_SHIFT)
@@ -236,7 +236,7 @@
  */
 //TODO #warning "Check Freq for 24mHz"
 
-#ifdef CONFIG_STM32_SDIO_DMA
+#ifdef CONFIG_STM32F7_SDMMC_DMA
 #  define STM32_SDMMC_SDXFR_CLKDIV      (1 << STM32_SDMMC_CLKCR_CLKDIV_SHIFT)
 #else
 #  define STM32_SDMMC_SDXFR_CLKDIV      (2 << STM32_SDMMC_CLKCR_CLKDIV_SHIFT)