I got an R4i SDHC (red box) and I tried to update my kernel, but for some reason it doesn't work. There are 3 files in the root of my sd: _ds_menu.sys _ds_menu.dat _ds_mshl.nds that are not in the kernel update file. However if I don't put these files on my sd card, it will be stuck at the loading screen. There is a file that comes with the kernel update that I don't have: r4.dat but even renaming that doesn't work. I have NO CLUE how I got these 3 files in the first place. The website of my card is: r4i-sdhc.com Help would be appreciated.