Ya funciona el DSTT en las consolas con 1.4.2. Hay que actualizar la tarjeta en una consola que no tenga todavia el 1.4.2. Funciona perfectamente, ya que lo acabo de hacer en una. Para hacerlo hay que bajar este archivo:
http://www.mediafire.com/?tuxodtdcj2cwwzcdescomprimir, y meter los archivos en la mini sd, junto con el kernel 1.17 original. Lo metemos como deciamos en una consola que todavia no este en 1.4.2, y ejecutamos el archivo llamado TTI142UPGRADE.nds, como si se tratara de un juego, luego nos pedirá que para confirmar le demos a la X+Y y a esperar un minutito aprox. Es importante hacerlo con el cargador de la consola puesto para que no se nos quede sin bateria. Cuando acabe formateamos la miniSD y metemos como siempre el kernel mas los juegos y voilá, ya tenemos cartucho operativo. Por cierto el icono cambiará y será el del BOB esponja.