Gopro hero4 blk and 4x timelapse editing

[chili]

My son is into photography and video editing just bought him a hero4 black and he is into doing 4k timelapse video's however his macbook is not very fast when it comes to editing the file and rendering it. So i am wondering what kind of setup be it desktop or laptop would he be looking to build/buy in order to cut down the editing/rendering times?
i have an i5 gaming machine and an i7 gaming laptop i tried a file out for him on both of these machines and the i5 seemed to outperform the i7 when it came to rendering, he does have access to both of these but would prefer his own system. any advice related to gopro and editing appreciated, software he uses is adobe premier pro.

thanks

 

[chili]

Which Macbook does he have?

Final Cut Pro is awesome on the Mac, nothing else comes close in terms of render times

its a macbook air i5

also thanks for the constructive comments, as for Final cut pro he seems rather adverse to using this he says "its awful" no one at uni uses it.

the gaming laptop has the nvidia gtx 970m and 16gig ram