Вы можете попробовать использовать Shotcut (http://www.shotcut.org/bin/view/Shotcut/Features). Я не пробовал 4k-видео, но он говорит, что последняя версия поддерживает его.