Can anyone give me a like to a working r4-SDHC kernal? for NDS

have had trouble with this r4 for a few days now, when working previously with a regular r4 everything has worked fine, but for some reason this one just won't work (it keeps getting stuck at the loading screen) I think it is most likely a bad kernel. any suggestions would be greatly appreciated.
Thanks.

So many R4 SDHC cards about now... but this place has a quite a few firmware downloadshttp://www.linfoxdomain.com/nintendo/ds/

Thanks, I have it working now, has taken me a long time to do it, I found out its was the websites fault though, their latest update was missing components so I had to use an older one from a mirror site.... that was fun.