Probably [1], but it certainly needs more hands on deck last time I talked to Crystal.

[1]: https://research.exoticsilicon.com/series/pinephone_openbsd

Not yet, but see this:

https://news.ycombinator.com/item?id=30019823

Your link is about the PinePhone (AllWinner SoC). neodypsis is presumably asking about the PinePhone Pro (Rockchip SoC, though not the rk3588).

From what I understand, at least two OpenBSD developers have their hands on PinePhone Pro devices. Not sure about any progress, but at least it shows that there is interest from the developer base.