Update: You can download the kext file using the link at the end of the post if you don’t want to follow these instructions. I finally got tired of having to manually change the sound output every time I started the computer, so I spent some time trying out different things and came up with [...] Read more »