Orange Pi PC+ installed Armbian Bionic mainline kernel 4.19.y, Armbian Stretch mainline kernel 4.19.y not working sound via HDMI, on an older version Armbian Xenial desktop legacy kernel 3.4.y sound via HDMI works. What to do to make the sound work in the new version