Rebooted and things seem to work. I have not noticed any significant increase in mmc speed but dmesg clearly indicates that it's operating at 48000000Hz