yeah that is their official site that you linked. Try that kernal that I just posted. You should of gotten an Acekard 2i. I have the Original R4DS that first came out and it is getting difficult playing newer releases.
https://modchip-depot.com/product_in...roducts_id=117 Only 30 bucks for an Acekard 2i. SDHC compatible as well as DSi compatible
think I go wor ak2i. thanks again