Hi, I just can't seem to get HDMI Audio Passthrough working with VLC 3.0 on Gentoo Linux. On the very same box, it works flawlessly with the latest Kodi, but VLC 3.0 invariably downsamples DTS, Dolby, TrueHD, and DTS-HD to stereo (using the very same audio device). Any ideas / insights / config file...