OpenBSD (with encrypted softraid) on the Chromebook Pixel