Obviously I do have a different codec. I should add that I now DON'T get a muted headphone channel on reboot, ever since pulseaudio upgraded to 1:0.9.16~test4-0ubuntu6. So my issue was probably not related at all to this bug.
Obviously I do have a different codec. I should add that I now DON'T get a muted headphone channel on reboot, ever since pulseaudio upgraded to 1:0.9.16~ test4-0ubuntu6. So my issue was probably not related at all to this bug.