Raspberry Pi 4にLibreELEC入れて、USB Type-Cコネクタ側のHDMI0ポートにテレビを接続したところ、ちゃんとテレビのリモコンで操作できることを確認。そういえばHDMI1ポートにもディスプレイつないでみたけど、こちらには起動時のカラーチャートは出るものの…