I don't know. I don't have this board nor is the Armbian team aware of its state since it is community supported.
This looks like some upstream (Debian to say) uboot package which certainly does not support this board. IIRC u-boot versions for rk3588, depending on family are something like 2017.09 or 2024.01 (both vendor cases) and 2025.01 or .04 for current/edge.