For anyone interested I have dropped my edk2 port on github: GitHub - gusbourg/vim3-edk2 · GitHub
In addition to porting EDK2, I’ve done so with full ACPI support which also support CPU deep idle not available in the DTB. There are also improvements to video decode to support things like HDR and high bit-rate pass-through provided as patches.