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 I would get from sdhc.com there are a lot more and i am getting confused. On the directions it says to copy r4.dat file etc but I cannot find them in the folder at all! I have tried contacting the company I purchased from but have had no answer. (please see http://r4i-sdhc.com.tw/downloade.asp , I downloaded the file in orange) I would like to get this card working rather than this being a total waste of money and would apreciate any help given to help me get this card to work. Thank you in advance, Lisa. Please let me know if you need more info.