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

See linuxpreloaded.com for vendors