Has something changed regarding MMCSD between r273702 and r274416? I built an image using the latter and I noticed that my 32GB SanDisk card is now coming up at 25MHz. Previously it was 41.6MHz. root at raspberry-pi:~ # dmesg | grep mmcsd mmcsd0: 32GB <SDHC SL32G 8.0 SN 0F6BB463 MFG 10/2014 by 3 SD> at mmc0 25.0MHz/4bit/65535-block