OLPC trac 2371 - SD is flaky in high-speed (50 MHz) mode on B1, probably as a result of the FPGA-based CaFe chips on B1. The firmware fix is to check for a B1 system and avoid switching to 50 MHz card clock thereon.
dev/mmc/sdhci/sdhci.fth