SD card on sdmmc3 is not working

The patch here should be sufficient for sdmmc3.