I purchased this card (http://www.ndscardsale.com/product/r4i-sdhc-tw-upgrade-revolution-microsd-tf-multimedia-flash-cart-for-ndsill-ndsi-ndsl-nds-96304) but cannot work out where to get correct kernel. I tried downloading from the site on card, but rather than there being the normal files that...