Gracias por tu respuesta, el primer enlace no lo había llegado a conocer, estoy probando de ahí (aunque tiene algunos enlaces de descarga rotos) el segundo no me funciona ninguno.
Gracias, saludos.
EDIT:
No sé si servirá pero, un .DAT lo tengo que renombrar a R4.DAT para que me cargue el menú, no sé si servirá, espero vuestra respuesta (quiero decir, a lo mejor ya hay un kernel con el R4.DAT que sería el mio).
Gracias de nuevo.