So, I've bought a Nintendo Dsi Xl recently from a friend of mine. It came with this R4 (the one from the picture). Yesterday, I was trying to put a few games in it, but I couldn't. So I erased all the files from the R4 and I can't recall the kernel. Can anyone help me with It?