Buenas,
si puedes pasar un dir de la raiz de la sd y la pagina de donde bajaste el kernel a lo mejor te puedo echar una mano (si es que me acuerdo de donde voy escribiendo) y si no, nos envias un correo y te decimos que menu bajar y de donde que me imagino que desde aqui no podre poner enlaces.
Y por cierto, si bien es cierto que las r4 y dstt no son las que mas posibilidades ofrecen, también es cierto que son las mas economicas
Saludos!!!