No encuentro el firmware para la R4 Ko-3ds, la pagina ya no existe.

Buenas, recientemente me compre una nintendo DSI usada, bastante bien de precio aca en Argentina, con un juego original, cargador, manuales, estoy chocho , venia con la R4 sin memoria, ya le compre una microsd, incluso en la DSi aparece el logo de un juego de bob esponja a pesar de no tener ninguna microsd en la consola, solo la R4, curioso.
El problema que estoy teniendo es conseguir el kernel para la memoria R4 que dice www.ko-3ds.com y lamentablemente ya no tengo manera de ponerle el kernel y cargarle los juegos,¿ alguna pagina que tenga ese firmware?