Has mirado en el archivo config.ini que viene en el kernel? Hay suele ir las configuraciones de hdmi. Aunque en tu caso no se los parametros. Es que me parece muy raro que use un archivo a parte, aunque debe de haber una forma de decirle al config.ini de que lo lea.
Tambien puede ser lo de que el cable de video (amarillo) esta cambiado con el blanco (audio L) pero seria muy muy raro, ya que de esa forma no tendria ni que salirte lo de emuelec al arrancar.
Tambien deberias ver si es del tema, como he leido en el wiki, trata de configurar el tema antes de cambiar el formato a ctr.