Raspberry Pi 4 and audio via HDMI