La has formateado en fat32?
Pues no tienes que hacer mucho más, formatearla, y meter ese kernel en el directorio raíz de la tarjeta, prueba sino con el que está en inglés.
Y nada, la enciendes con ella puesta y te tendría que salir un iconito con un juego de bomberman de la ds, le das a él como si fuera un juego y te carga el menú de la tarjeta.