Hola. Despues de instalada esta imagen, no darme ningun tipo de problema con el kernel (llevo puesto el que viene con la rom), he decidido probar el hdmi. Para eso he comprado esto:
http://dx.com/p/720p-micro-usb-to-hd...-evo-3d-103238
A ver que tal resulta. Habia visto alguno por ahi, pero eran algo mas caros (si, ya lo se que lo barato a la larga sale caro...)
Saludos y fiaros de mi a los que tengais miedo o cierto temor a instalar la rom. Yo no soy experto ni mucho menos.
Otra cosilla, a mi me tardó en pasar la pantalla inicial con las letras de samsung, como 20 min o mas. Deciros que fuí a comer y dejé el telefono cargando y cuando volví estaba instalada.
Saludos