There exist a few linux hardware vendors (laptops, pcs, phones) out there. Is the community using them?

See https://linuxpreloaded.com/ for vendors