Some follow ups:

So for stock kernels has Nokia tuned the i/o speed down so it does not really make a difference what speed the card is? Maybe it has been tuned to the speed of the on board flash.

If you go with a fast kernel then are there any implications for the (presumably slow?) on board flash memory? Maybe it is simply not used any more?