No tengo ese cartucho pero si puedo ayudarte a aclarar tus dudas:
1. Mete los archivos del kernel en una microsd y prueba a ver si arranca en la consola 3ds (no tienes porque necesitar una dslite, puede ser que la tarjeta ya venga con el firmware actualizado a la ultima version o puede ser que aunque no lo estuviera, tu 3ds tampoco lo esté y pueda ejecutar el cartucho sin problemas)
2. Si no te funciona (te saldra una pantalla negra diciendo que se ha producido un error y que apagues la consola), entonces "añades" los archivos que pones (copio de tu post): "patch for 3DS V4.5.0-10 & DSi V1.45" (a la raiz de la tarjeta; es probable que se trate de un unico archivo con extension .nds)
En este segundo caso si que necesitaras una consola que pueda ejecutar el cartucho; lo mas facil es una dslite, pero puede haber perfectamente una 3ds que no este actualizada al maximo, como te comentaba y puedas cargar el menú del cartucho. Para actualizar, habitualmente y supongo que será tu caso, cargas la opcion "juegos" y ejecutas el archivo que habia en "patch for 3DS V4.5.0-10 & DSi V1.45" (te aparece como si se tratara de un juego) y sigue las instrucciones para completar el proceso.
Suerte!
