I have R4 and 8gb SDHC card for Nintendo DS. I have managed to upload games onto SDHC card but when I load in in DS is freezes at "LOADING". I think I may to have download R4 kernel. Is there a website where I can do this for free and will this resolve my problem?