Oh sorry. I'm using this link provided by you :
http://www.r4isdhc.c...firmware-steps/ and I went to the page
Step one: Copy the corresponding V1.42 upgrade firmwares to Micro sd card
Step two: Insert the R4 card with firmware into the console which is lower than the V1.42 version, then turn it on to enter the R4 upgrade interface:
a> The display of “loading” interface shows the R4 card upgrade is in process, please don’t cut off the power or take out the card
b> The prompt“V1.42 upgrade completed” will be shown on the lower left corner after the R4 card upgrade is done. Now you are allowed to cut off the power and take out the card. It takes about 10 seconds to finish the upgrade
c> Download the latest kernel to the successfully upgraded card, and use the card on the V1.42
NDSI to confirm it’s a successful upgrade
On step "C" I went to the link provided and it sent me to page of all R4 kernels and the one I need (R4iSDHC Red V2.0 [Bottom Left Corner]) doesn't have a download link despite having a download button. :/