lintweaker, couuld you point out which git repository has the fix checked in; I couldn't find it anywhere within http://git.alsa-project.org/
I'm slightly surprised that your receiver/TV need to be powered on and connected before the system is is started. Can you double-check if they need to be plugged in before the system is powered on (doesn't make sense to me), or simply before X is started (which is readily explainable, since the EDID is probably read when X starts). Finally, I'm certainly interested in whether the official version of the fix makes any difference to this.
Thanks very much!