Lenovo laptops generally work well with Linux but even your HP should run it fine.
However if you have the budget definitely get a machine from a dedicated Linux OEM like System 76, Tuxedo, Slimbook etc. That’s also one in the UK who I can’t remember. Just Google it.