I just received one of the R4i SDHC carts that comes in the red box and I'm trying to work out exactly what type of clone it is so that I can try and put a newer kernal onto it. The box and card do not have the yellow "V1.4" sticker on them and the site mentioned on the box is www.r4-v.com. The card has a red pcb. Have any of you guys come across this type of R4 before? What would be the best kernal to put on it you think?