Gracias YesteR, ya conseguí que funcionara.
El fallo, torpe de mí, era que tenía mal el path. Ahora funciona, y muy bien. Queda por ver si afecta mucho a la batería, pero al menos tengo algo parecido al LED de mi querido HTC Hero (q.e.d).
Por cierto, no entiendo por qué la gente de xda-developers no han incluido la posibilidad de poner un tiempo de encendido más corto. Con una décima de segundo bastaría, y el consumo se reduciría bastante.
