fix SD card with recent SDHCI changes