Otoh RPi relies on completely custom proprietary boot chain, while many Rockchip devices can be booted with standard uboot