hi guys any help would be appreciated. i have a r4i gold-upgrade v1.4 from r4i gold.eu bought in june. i need to update the kernel in order to play new releases and i cant get the updated kernel from this site as the dl is corrupted. i have seen on other r4 sites updated kernels but with a different revision like r4i v1.36b that was released at the same time as the r4i v1.41b.are these the same??.my dsi is running 1.4e so i think i need the revision 1.41b??. i seem to remember a while back coming across a site called linux or something like that where they have all the kernels stored,does anyone know the correct name for this site??. can anyone help me with a link to dl the correct kernel i need for my version of flash card?. thanks for any help anyone can offer.