RIL = Radio Interface Libraries
Aqui está el hilo del DesireHD donde lo he visto:
http://www.htcmania.com/showthread.php?t=205349
Por cierto, me da pena dejar MIUI para probar esta, pero es que me estáis tentando de una manera con vuestros comentarios...
