Hola buenas,pues estoy en la misma situacion (mismo firmware y flascard) que tu compañero....
He descargado de su Web el ultimo Kernel (R4i Spanish V1.70b),pero no funciona en absoluto....en la Web dice que funciona....
Haber si alguien nos puede sacar de dudas...
Saludos
Edito:
Algo me he informado la version 1.4.5 ,bloquea el cartucho.
En cartuchos del mismo fabricante superiores al tuyo es decir (R4i gold 3DS V6.1 y V4.5) si se puede jugar a Roms con Nintendo firmware 1.4.5.
Si no sale un nuevo Kernel para nuestro cartucho,creo que nos va a tocar comprar la version del 2015.....
Saludos
Te envio el enlace por privado.
Saludos