And yet, why would you be running Linux and editing 4K video. There are no serious video editing programs for Linux.
The few people (likely less than a dozen) that run Linux on Mac on hardware are likely doing so to extend the life of the extremely-reliable hardware, rather than any issue with OS X.
Editing shmediting. If you want to do some serious post production (compositing, tracking, grading) there's some very popular programs for you out there. And I'm not talking about Blender either.