ya me lo han reparado. Finalmente me han cambiado el circuito donde se encuentran las I/O de HDMI ¿?. Lo he probado con la radio y parece que funciona bien.