I waited a year for the dc patches. Now using mainline kernel 4.15rc3 as I’m impatient to wait. Sound over HDMI works, but not really bothered about that. But still can’t use 4k resolution at 60hz, and it is working in windows.

Anybody figured out a way to get 4k60hz?