That adjustment is exactly what's needed to resolve the problem. I just made a remark there saying that applying a patch makes booting up the computer regular again.Moto X3M

If you only need to update bl31.bin, you can do it by replacing the first few bytes of the file with your modified binary.
You only need an aarch64 (cross-)compiler to generate bl31.bin from its source. blob opera

This proof-of-concept patch illustrates potential adjustments that might be made to the current TBBR CoT in order to separate the BL33 picture from it. Fireboy and Watergirl