¡Gracias por la respuesta!
Yo había interpretado que los módulos eran opcionales con modificaciones extra, pero ya veo que se trata de módulos desde el punto de vista "Linux".
Y entonces me dices que se puede flashear independientemente de la ROM que utilices, ¿no? Mañana lo pruebo y os cuento.
Salud.