No sé comko ayudarte, ya que yo tenía una R4 hasta que me cansé de que no funcionará, de tener donde actualizar etc y me compré una DStwo.
Primero deberías problar a formatear la SD que se supone que tiene cosillas dentro pero no te salen, si aún así no te funciona no se que decirte..en cuanto al kerner hay un montón de hilos que explican cual puede venirte bien según la R4 que tengas..es más, hay un hilo debajo de este que se llama exactamente igual, usalo y no crees otro total sirven para lo mismo. Un saludo