stmhal/boards/STM32F769DISC: Get SD card working by using SDMMC2.

stmhal/boards/STM32F769DISC/mpconfigboard.h

@@ -67,6 +67,12 @@
 #define MICROPY_HW_LED_OFF(pin)     (mp_hal_pin_low(pin))
 
 // SD card detect switch
+#define MICROPY_HW_SDMMC2_CK                (pin_D6)
+#define MICROPY_HW_SDMMC2_CMD               (pin_D7)
+#define MICROPY_HW_SDMMC2_D0                (pin_G9)
+#define MICROPY_HW_SDMMC2_D1                (pin_G10)
+#define MICROPY_HW_SDMMC2_D2                (pin_B3)
+#define MICROPY_HW_SDMMC2_D3                (pin_B4)
 #define MICROPY_HW_SDCARD_DETECT_PIN        (pin_I15)
 #define MICROPY_HW_SDCARD_DETECT_PULL       (GPIO_PULLUP)
 #define MICROPY_HW_SDCARD_DETECT_PRESENT    (GPIO_PIN_RESET)

stmhal/boards/STM32F769DISC/mpconfigboard.mk

 MCU_SERIES = f7
 CMSIS_MCU = STM32F769xx
-AF_FILE = boards/stm32f769_af.csv
+AF_FILE = boards/stm32f767_af.csv
 LD_FILE = boards/stm32f769.ld

stmhal/boards/STM32F769DISC/pins.csv

@@ -33,12 +33,12 @@ AUDIO_SCL,PH7
 EXT_SDA,PB9
 EXT_SCL,PB8
 EXT_RST,PG3
-SD_D0,PC8
-SD_D1,PC9
-SD_D2,PC10
-SD_D3,PC11
-SD_CK,PC12
-SD_CMD,PD2
+SD_D0,PG9
+SD_D1,PG10
+SD_D2,PB3
+SD_D3,PB4
+SD_CK,PD6
+SD_CMD,PD7
 SD_SW,PI15
 LCD_BL_CTRL,PK3
 LCD_INT,PI13