So my friend has this R4i-3DS with Astro Boy on it and it says v2.6 it also has a website that says r4i-Pocket.com but it's completely down. He accidentally formatted his sd card and needs all the kernel stuff back. Anybody know where I can find this? Here's the card...