raspi: fix SD card with recent sdhci changes