En mi configuración de Ubuntu, activé Selinux. ¿Pero eso hace que el puerto HDMI no funcione? Supongo que hay una política que detiene esto, pero al configurar Selinux como permisivo, la máquina aún presenta el mismo problema. Por otro lado, al eliminar security=selinux en la línea de comando del kernel, el problema se resuelve.
¿Cómo puedo solucionar esto? ¿Existe algún tipo de interacción con el initrd que provoque que esto suceda?