OpenBSD on the Xiaomi Mi Air 12.5"