I've installed the Armbian distro for Tinker Board, updated it, fiddles with PulseAudio settings, added Codecs but for the life of me I can't get any audio from the headphone jack. Hopefully someone can suggest a solution. TIA.