Those two appear to be great gaming machines for the same amount of money. The cpu is the most important for video editing. I would pick your Machine 1 as the cpu benchmark is more than 50% higher, gpu benchmark is 90% of the nvidia card and is supported for 8k video editing. See this post: https://forum.cyberlink.com/forum/posts/list/83430.page . The gpu passmark comparison is here: https://www.videocardbenchmark.net/compare/Radeon-RX-5700-XT-vs-GeForce-RTX-2080/4111vs3989 .

Cpu passmark comparison is here: https://www.cpubenchmark.net/compare/Intel-i7-10700K-vs-AMD-Ryzen-9-3900X/3733vs3493 . .The Amd Ryzen 9 is considered to be an enthusiast class cpu while the Intel i7 is considered only to be a high performance class cpu. Machine 2 may be a better gaming machine depending on which reviewer does the testing and gives their thoughts.

You need the thoughts from other users concerning whether the RX 5700 XT is good for video editing as most users use a Nvidia gpu card.

I second that vote for machine number 1. Those specs look lovely.