HDMI-CEC does not work on Raspberry Pi 400 with Libreelec 10.0 BETA1