Stallman uses a Thinkpad with coreboot firmware, which is auditable and open. The model is on eff.org, or stallman.org.