Na minha configuração do Ubuntu, ativei o selinux. No entanto, isso faz com que a porta HDMI não funcione? Presumo que exista uma política que impeça isso, mas configurando o selinux como permissivo, a máquina ainda apresenta o mesmo problema. Por outro lado, removendo security=selinux na linha de comando do kernel, o problema está resolvido.
Como faço para resolver isso? Existe algum tipo de interação com o initrd que faz com que isso aconteça?