Does the patch below help?

-Kevin


--- a/src/hw/sdcard.c
+++ b/src/hw/sdcard.c
@@ -405,6 +405,7 @@ sdcard_card_setup(struct sddrive_s *drive, int volt, int prio)
     if (!ret && param[0] == vrange)
         hcs = (1<<30);
     // Verify SD card (instead of MMC or SDIO)
+#if 0
     param[0] = 0x00;
     ret = sdcard_pio_app(regs, SC_APP_SEND_OP_COND, param);
     if (ret) {
@@ -416,6 +417,7 @@ sdcard_card_setup(struct sddrive_s *drive, int volt, int prio)
         drive->card_type |= SF_MMC;
         hcs = (1<<30);
     }
+#endif
     // Init card
     u32 end = timer_calc(SDHCI_POWERUP_TIMEOUT);
     for (;;) {