Help Find My Friend a Laptop ~ $600

My friend has asked me to find a laptop for him, but I'm not too sure where to look.

He just wants to be able to do Zoom calls / some very very minimal gaming (

His current computer is too slow (I don't know what model he has, I have asked)

Here are some options:
EX-LEASED HP Elite X2 1012 G2,12.3", Intel Core i5-7300U, 8GB RAM, 256GB SSD, Windows 10 Pro WWAN

Lenovo Thinkpad E495 - AMD Ryzen 5 3500U 8GB RAM 256GB SSD Win10H

Are any of these good for him?

I've been waiting for good laptop deals but many of them are at the $1000 range which is too much.

Thanks for your help!