Am confused. In executing the referenced wiki instructions for flashing this kernel, should I be using the sdhc kernel (which I've done) or substituted the mmc kernel? What's the difference?