Hi snaper, hopefully another Linux*experienced user can answer your question here.
You may also have a better chance of getting a response by posting your inquiry in the community of the operating system distribution you plan to use, as well as providing the specific graphics controller model.
i have no device with intel gpu at the moment and i don't know what's the best linux for that. as i've read all haswell can decode 4k and the va api is well supported on linux - better than the amd/ati api. vdpau can't decode 4k.
the problem is that the most linux users are not interessted in 4k at the moment.