Problema con R4IGold.cc (Cartucho)

Hola, soy nuevo en esta comunidad
Y es para preguntar como uso nuevamente la R4iGold sin actualizar la firmware?
Veran, tengo la r4igold desde fines del 2014 y por accidente formatee la memoria y perdi la kernel que tenia
intente buscar la kernel para que funcione pero ninguna me funciono
Hasta busque por la R4IGold.cc la cual es el sitio oficial del cartucho que tengo, pero ninguno ha funcionado
Ademas que mi nintendo dsi xl tiene la version 1.4.5u
¿Como puedo arreglar ese problema para poder jugar los juegos de ds nuevamente?