Looks like FreeBSD runs relatively well on many ThinkPad models: https://wiki.freebsd.org/Laptops