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.