te queria decir que el metodo de actualizar el kernel, es bastante humano 
, tan solo debes de ir donde dice "Kernel Download Area" y descargas la "Spanish" , luego es tan simple como descomprimir su contenido, y las carpetas resultantes, trasladarlas a la memoria SD de la R4, y listo. Suerte. 