I just recently (today) got an r4i 1.4 from my friend, and when putting my own SD card in, i launched fwup142c.nds.
Now, the card doesn't start up :(
When i start it up with a fresh format, with the 1.55 kernel, i get a ? Menu in a red box.
Instead of the old Star Wars icon, it's a Spongebob...