Applying both patches 1/2 and 2/2 did not help anything with the situation. I
had to run `xrandr --output eDP --off` and `xrandr --output eDP --auto` three
times to get the display to work.