I have bought a NanoPi R2S, which features the RK3328 SoC with 2 1Gbps
and 1G DDR4 RAM. Reading OpenBSD document, what I learned is that
u-boot.itb are needed to made a bootable mini sd card that can load OpenBSD
My question is, can I extract from the product's 'official' Linux image
these necessary files,
or I would have to ask someone in the port team to build these files?