options sdhci debug_quirks2=0x80000000