And the pine64 is one of the arm64 boards supported by OpenBSD: https://www.openbsd.org/arm64.html
Every time I've searched for OpenBSD for Raspberry Pi in the past, all I got was people saying that it would never happen due to the reliance on proprietary blobs.