https://bugs.freedesktop.org/show_bug.cgi?id=80029
--- Comment #3 from Mike Lothian mike@fireburn.co.uk --- 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