Raspberry Pi 4: one HDMI output for video, one HDMI output for audio