SDHCI_DEFAULT_MAX_FREQ
slot->max_clk = SDHCI_DEFAULT_MAX_FREQ * 1000000;
"frequency, using %dMHz as default.\n", SDHCI_DEFAULT_MAX_FREQ);