I used a Raspberry Pi 3+ with LibreELEC 9 for a while and I could easily navigate through Kodi with my TV remote.
Today, I put together my new RP4 with LibreELEC 10 but the TV remote will not work with it. I tried rebooting, changing HDMI channels, nothing works.
Also, when LE9 had started, I always got two CEC Adapter messages. Now, with LE10, I only get one (the Pulse-Eight CEC Adapter).