>OpenBSD devs did the work
It doesn't appear they did anything specific for this kit, nothing obvious in the changelog anyway. Perhaps just some combination of things they've done for other UEFI bootable Arm64 hardware. OpenBSD arm64 uses u-boot, so also maybe just some support that was already there.