RK3528 - Radxa e20c

[Karsten Pedersen]

Good afternoon,
 
I can see that the Radaxa e20c (RK3258) is supported as per 
[https://www.openbsd.org/arm64.html]
 
I can see the dtb files within the packages which is cool. I can add them to 
the install78 image.
 
However I cannot find the u-boot files for this specific hardware within the 
OpenBSD packages. Is the intention to use an existing one for a similar chip? 
(similar was the case for the allwinner A10 / pcduinov2) If so, which one is 
recommended?
 
Many thanks!
 
Karsten