Note
In case your DM250 ran OpenBSD too fast, I made armv7 able to boot from a softraid disk so you can have a fully encrypted eMMC root.
Initially it looked like it was hanging after entering the passphrase but after much debugging I realized it was just taking a ridiculous amount of time (like 30 seconds) doing bcrypt hashing, which turned out to be because u-boot was running with CPU caches disabled on the RK3128, so I fixed that.
So even if you aren't using crypto softraid, if you update u-boot you'll get a faster boot since efiboot will load a little faster and that will load and start the kernel boot faster.