Thank you for this! I feel dumb. I've been using my RockPro64 as an OpenBSD router and I have wrestled with U-Boot to recognize my hardware. I didn't know OpenBSD came with U-Boot binaries, I've been compiling from source. I'll try the official binaries.