chewitt the truth is that while Rockchip's upstream support is decent, for RAM management purposes, it's currently preferable to use the proprietary binary (rkbin miniloader). Libreelec supports this type of bootloader where tpl/spl are proprietary and the uboot proper upstream is used.
I don't use this board daily. I bought it to help with support, but I solved the problem by adding that flag.
So Wuk-jvi , if you want to compile a version that works, these are the generic instructions, change this script https://github.com/LibreELEC/Libr…r#L347C1-L350C9 adding the flag I indicated earlier and run the build as shown here