Comment # 28 on bug 73530 from Paul Menzel

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.