problema gordo con la nds

Buenos dias a todos.

Me acabo de cargar la tarjeta de mi sobrino al querer meter un juego.

Resulta que al bajarle el nuevo Layton, leo por los foros que hay que actualizar la tarjeta R4. He ido a hacerlo, y como soy algo novato en todo esto, ahora me encuentro con la R4 formateada y sin saber que demonios hacer (le pongo supuestamente un kernel compatible pero se queda en la pantalla loading) necesito heeelp