Final patch for USB headset pulseaudio mute/unmute problem