When I was at
What The Hack in 2005 most OpenBSD developers used ThinkPads, at that time still manufacutured by IBM.
Lenovo bought over the IBM laptop business but most models still seem to well supported by OpenBSD.
BTW I hate laptops with their lousy keyboards so I don't have one