Further information: It seems that the issue is being triggered when I switch the profile from Analog Stereo Output to Digital Stereo Output. The volume control then stops working until system reboot (even when switching back to Analog). After reboot it works again, until again the next time I switch the profile to Digital.