Has anybody tested the raspberry pi branded SD cards on a Proffieboard? According to this test they are very fast: