> These are already quite old.
Uh! Already old then. I am trying to find some minimal (price, space, power) hardware to build an openbsd router. All I can find is too expensive - almost like an Intel Core i5-6500 full desktop computer! I was happy about the RISCV, until the prices came out. I run now a Mikrotik hAP ac2 IPQ4108 Qualcomm processor, but from what I know there are no docs available to make it work on OpenBSD, even if you can say it is an ARM arch.