SDIO und DAC auf STM32F4 Discovery nutzen?

Habt ihr schonmal versucht eine SD-Karte an den STM32F4 Discovery zu 
bringen?

PC12 (SDIO_CK) und PC10 (SDIO_D2) hängen leider schon am DAC des 
Discovery-Boards (SPI3)


Warum wurde zum Anschluss des DACs nicht PB5 und PB3 genutzt? Die könnte 
man über das alternate function mapping auch mit SPI3 verbinden...

Kann mir gar nicht vorstellen, dass ST das so blöde verbindet, dass man 
SDIO gar nicht mehr nutzen kann (zumindest nicht zusammen mit dem DAC).


Wie kann ich DAC und SDIO gleichzeitig ansprechen? Muss ich jetzt die 
Verbindungen auf dem Board suchen, durchtrennen und neu legen? Wie habt 
ihr das gelöst?