Tenía la misma duda que tú, y además al ir a hacer la instalación me daba un error de que no existía ningún kernel. Yo sin tener ni idea (y con dos cojones) lo que hice fue lo siguiente:
- Me descargué el archivo
- Descomprimí el zip y te queda una carpeta "firmware-wasser-1.2.4"
- Dentro de esa carpeta fuí a la carpeta rockdev/image y borré todos los kernel que no fueran del T-R42. De los dos que quedaron borré el que ponía old y el que me quedó lo renombre simplemente a kernel.
- Hice la instalación y todo funcionando
Pero vamos, pura casualidad, a lo mejor alguno de los que están leyendo esto se están echando las manos a la cabeza jejejejej
