I think I might have a solution for you!
Here's the link to the last version of the kernel i could find for this R4, version 2.10t15 (discovered it in a french website, i swear)
It works great for me, although it still might be too old to work on your DSi update (late 2012)
Give it a try, just...