This is great news.
I've only got the problem that i cannot change any settings of the system anymore because it always resets to the original settings. so it isn't possible to change the theme or language.
Does anybody else got this problem. I own a NDS Lite and a 4GB Sandisk microSD.