There is u-boot support specifically for rockpro64-rk3399 upstream
now. I'd be happy to enable it in the u-boot packaging if you or someone
else can promise to test it periodically:
https://wiki.debian.org/U-boot/
https://wiki.debian.org/U-boot/Status