Comment # 15 on bug 104412 from S.H.

(In reply to Harry Wentland from comment #13)
> The problem with 4k60 being blocked due to a BIOS bit should be fixed now. I
> recommend trying the drm-next-4.17-wip from
> https://cgit.freedesktop.org/~agd5f/linux

Hi,
thanks for the update. I wasn't able to check out and test until today.
4k@60Hz is still not detected automatically, but:
- I was able to set 60Hz manually and
- I do NOT need to remove any patches anymore from kernel source

Cheers,
Sven