As a follow up, I'd suggest taking a livecd of OpenBSD to a place that sells laptops. Test boot it, verify it works, and purchase it. I've done this before, although your mileage may vary.