selinux をオンにすると HDMI が機能しなくなります。どうすれば解決できますか?

selinux をオンにすると HDMI が機能しなくなります。どうすれば解決できますか?

私の Ubuntu セットアップでは、SELinux をオンにしました。しかし、HDMI ポートが機能しなくなりました。これを阻止するポリシーがあると思いますが、SELinux を Permissive に設定しても、マシンでは同じ問題が発生します。一方、カーネル コマンド ラインで security=selinux を削除すると、問題は解決します。

これを解決するにはどうすればよいですか? これを引き起こす initrd との何らかの相互作用がありますか?

関連情報