Comment 21 for bug 1256511

take a look at the system log

the Jack detection of the headphone and line out can be obtained when the driver is loaded, but the Jack detection of HDMI is delayed until the graphic driver query HDMI edid , extract the speaker allocation , channels and rate to eld and pass them to the audio driver

do you mean that the HDMI is always plugged after the headphone and pulseaudio ?

http://cgit.freedesktop.org/pulseaudio/pulseaudio/commit/src?id=d389e7d37ca603417e018d2031c09256854a8810