https://bugs.freedesktop.org/show_bug.cgi?id=73530
--- Comment #28 from Paul Menzel paulepanter@users.sourceforge.net --- I was able to get the display to work with Debian’s Linux kernel 3.12.6 (with none of your patches applied) using `xrandr --output eDP --off` and `xrandr --output eDP --auto`. So it looks like no patch is needed after all.