OpenBSD on the Lenovo Thinkpad X1 Carbon