HP EliteBooks are usually very supported out of the box and work flawlessly, even with Debian. Lenovo is no longer a good brand, they now have weird issues such as a simple USB 3 cable passing along the back of the laptop will slow it down because the laptop’s EM shielding isn’t properly done.