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 http://www.jojbuy.com/taobao-agent-product-[Pegasus]-R4i-SDHC-R4i-3DS-Astro-Boy_387195.htm