Actualizada hoy 12 de noviembre. He añadido los ajustes del HDMI que vienen en la rom stock y funciona lo siguiente: encender y apagar el HDMI, cambiar la resolución y el zoom. Sin embargo, creo que el tiempo de espera no funciona, que alguien más lo pruebe por si acaso (yo eso nunca lo probé en stock) y si lo confirmáis intentaré repararlo cuando tenga tiempo. Aviso: es imprescindible actualizar también el boot.img que he puesto en el primer post.