Also, I built a test kernel with a hackish patch to limit the doublescan for HDMI. Could you try the kernel in OBS home:tiwai:bsc1212954 repo?