How to patch uboot?

Help
1

I’m running: nix-build '<nixpkgs>' -A pkgsCross.aarch64-multiplatform.ubootRockPro64

I get these errors while booting:

Moving Image from 0x2080000 to 0x2200000, end=6530000
ERROR: RD image overlaps OS image (OS=2200000…6530000)

I’m led to believe that this patch (or something similar with adjusted offsets) will fix the problem:

How can I apply this patch to test it out?

2

Here is an example: nixos-hardware/microchip/common/bsp/uboot.nix at feefc78fbc4b205485eda0c1d9202c8f9288778a · NixOS/nixos-hardware · GitHub