According to the official website, R4 SDHC Kernel upgrades to v1.29 on Dec 17, 2009 and R4i-SDHC kernel updated to V1.13b on Dec 12, 2009. So you can go to ishopvideogame to get free R4 and R4i kernel download service.

The R4 and R4i cards download url on ishopvideogame: http://www.ishopvideogame.com/r4-series-cid-158.html

R4 SDHC Kernel download url are available as follows:

English v1.27 French v1.27

English v1.28 French v1.28

English v1.29 French v1.29

R4i SDHC Kernel download url are available as follows:

English v1.10b French v1.10b

English v1.12b French v1.12b

English v1.13b French v1.13b

So if you still have some problems about the kernel download, please feel free to contact ishopvideogame.

Source: www.ishopvideogame.com