[Bug 659910] sdhci (SD card driver?) only works *once*