Hoy he encontrado un pequeño bug. He intentado ponerle nombre a uno de las entradas hdmi y me ha sido imposible. Con cada update arreglan algo y joden otra cosa.