I setup a Pi 4 with the latest libreelec build and there is no sound. 4K videos play fine, but no sound. I have audio output set to HDMI and using a genuine RPI cable. I tried feeding the HDMI signal to both a Smart TV and a monitor with built-in speakers, and in both cases, no sound. I’m convinced it’s an RPI/LibreElec issue but not sure where else to look besides in the settings.