Are you sure you can control volume for hdmi from osx?I never used it as I'm using the built in audio, but from what I can see here:   it is not possible directly...am I right?   Can I ask you if you disconnect the hdmi cable from the gpu, if you see the hdmi audio in sound preference panel?