I modified that line and then tried both restarting pulseaudio and the entire system, but that didn't resolve.
I noticed that there are several hdmi-output-x.conf files, so then I tried to modify all of them (from 0 to 3) as you suggested and restarted the computer again.
Nevertheless I can't yet see HDMI output in Sound Settings, that menu hasn't changed at all.
Maybe not relevant but in addition to XBMC also vlc is able to correctly detect HDMI.
I modified that line and then tried both restarting pulseaudio and the entire system, but that didn't resolve.
I noticed that there are several hdmi-output-x.conf files, so then I tried to modify all of them (from 0 to 3) as you suggested and restarted the computer again.
Nevertheless I can't yet see HDMI output in Sound Settings, that menu hasn't changed at all.
Maybe not relevant but in addition to XBMC also vlc is able to correctly detect HDMI.