Comment # 3 on bug 80029 from Mike Lothian

Hi Mario

I'm not sure about other video modes - I always use the native 1080p @ 60Hz I'm
not sure how to change it either when I can't see the screen

I've attached the verbose xrandr output for you from a working kernel

Would you like the debugging put on a working or broken kernel?

I don't remember ever seeing any EDID issues except when the receiver was on
but the TV was off