But the card you’ve both has another mode that we don’t (yet) support for UHS (Ultra High Speed) which allows for higher clock frequencies but also requires a lower voltage to the SD card.
http://www.raspberrypi.org/archives/5679#comment-473070
Does the word "(yet)" mean that there will be some hack enabling UHS-I support for the Raspberry Pi SD-card reader?