SPK/headphone/HDMI audio output switching(Linux)